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
-
2-Functoriality of Initial Semantics, and Applications
Ahrens, B., Lafont, A. & Lamiaux, T., 2025, In: Proceedings of the ACM on Programming Languages. 9, ICFP, 32 p., 258.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile4 Downloads (Pure) -
A Compositional Semantics for eval in Scheme
Mosses, P. D., 2025, OLIVIERFEST 2025 - Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday. Henglein, F., Lawall, J., Palsberg, J. & Ilya, S. (eds.). New York, NY: ACM, p. 72-81 10 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile -
Algebraic Presentations of Type Dependency
Ahrens, B., Emmenegger, J., North, P. R. & Rijke, E., 2025, In: Logical Methods in Computer Science. 21, 1, 71 p., 14.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile12 Downloads (Pure)
Datasets
-
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 the Bachelor's thesis: Adapting existing bug taxonomies to Haskell
Applis, L. (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: ExEl: Building an Elaborator Using Extensible Constraints
Liesnikov, B. (Creator) & Cockx, J. G. H. (Creator), TU Delft - 4TU.ResearchData, 21 Mar 2024
DOI: 10.4121/E74FD14A-DA79-4686-97E8-143AC5E0858D
Dataset/Software: Software
Prizes
-
Distinguished Paper Award POPL 2025
Chakraborty, S.S. (Recipient), 25 Jan 2025
Prize: Prize (including medals and awards)
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