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
-
A Monadic Framework for Name Resolution in Multi-phased Type Checkers
Poulsen, C. B., Zwaan, A. & Hübner, P., 2023, GPCE 2023: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. New York, NY, USA: Association for Computing Machinery (ACM), p. 14-28 15 p.Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile14 Downloads (Pure) -
Bicategorical type theory: Semantics and syntax
Ahrens, B., North, P. R. & Van Der Weide, N., 2023, In: Mathematical Structures in Computer Science. 45 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile4 Downloads (Pure) -
B-systems and C-systems are equivalent
Ahrens, B., Emmenegger, J., North, P. R. & Rijke, E., 2023, In: Journal of Symbolic Logic. 9 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile3 Downloads (Pure)
Datasets
-
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