Research output per year
Research output per year
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where Programming Languages is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language
Liesnikov, B. & Cockx, J., 2025, Programming Languages and Systems: 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. Kiselyov, O. (ed.). Singapore: Springer, p. 63-83 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15194 LNCS).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
-
Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories
Ahrens, B. P., LeFanu Lumsdaine, P. & North, P. R., 2024, Programming Languages and Systems : 22nd Asian Symposium, APLAS 2024, Proceedings. Kiselyov, O. (ed.). Springer, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15194 LNCS).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
-
Defining Name Accessibility Using Scope Graphs
Zwaan, A. & Poulsen, C. B., 2024, 38th European Conference on Object-Oriented Programming (ECOOP 2024). Aldrich, J. & Salvaneschi, G. (eds.). Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29 p. 47. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 313).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile11 Downloads (Pure)
Datasets
-
Data underlying the Bachelor's thesis: Adapting existing bug taxonomies to Haskell
Applis, L. H. (Creator), Nistor, R. (Creator) & Cockx, J. G. H. (Creator), TU Delft - 4TU.ResearchData, 19 Jun 2024
DOI: 10.4121/29A6A7BC-8B45-472C-BF26-710F2A2D1A3C
Dataset/Software: Dataset
-
Code underlying the publication: Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language
Liesnikov, B. (Creator) & Cockx, J. G. H. (Creator), TU Delft - 4TU.ResearchData, 16 Aug 2024
DOI: 10.4121/6F239149-2526-42A0-8D07-D0E9D6714F7F, https://conf.researchr.org/details/aplas-2024/aplas-2024-research-papers/13/Building-A-Correct-By-Construction-Type-Checker-for-a-Dependently-Typed-Core-Language
Dataset/Software: Dataset
-
Data underlying: REPAiR H2020: T3.1 Spatial Analysis, Wastescapes in Pecs Region (Hungary)
Ŝileryté, R. (Creator), Varju, V. (Creator) & Szabo, T. (Creator), TU Delft - 4TU.ResearchData, 10 Dec 2020
DOI: 10.4121/13338416
Dataset/Software: Dataset
Activities
- 1 Editorial activity
-
2023 Eelco Visser Commemorative Symposium, EVCS 2023 (Event)
Ralf Lämmel (Editor), P.D. Mosses (Editor) & Friedrich Steimann (Editor)
5 Apr 2013Activity: Publication peer-review and editorial work › Editorial activity