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):
-
SDG 3 Good Health and Well-being
Fingerprint
Publication network from the last five years
Profiles
-
Concept Type Prompt Patterns for Automated Medical Reporting in Healthcare
van de Graaf, C., Huibers, T., Prasetya, W. & Brinkkemper, S., 2026, Artificial Intelligence in Healthcare - 2nd International Conference, AIiH 2025, Proceedings. Cafolla, D., Rittman, T. & Ni, H. (eds.). Springer, p. 309-323 15 p. (Lecture Notes in Computer Science; vol. 16038).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
From Semantics to Syntax: A Type Theory for Comprehension Categories
Najmaei, N., Van der Weide, N., Ahrens, B. & North, P. R., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 2409-2438 30 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Hole Refinements for Polymorphic Type-and-Example Driven Synthesis
Mulleners, N., Jeuring, J. & Swierstra, W., 8 Jan 2026, Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation (PEPM ’26). Association for Computing Machinery, p. 17-30 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile -
Programming Smart Playtesting
Prasetya, I. S. W. B., Dastani, M., Prada, R., Vos, T. E. J., Dignum, F., Kifetew, F., Mintjes, G., Shirzadehhajimahmood, S. & Gholizadeh Ansari, S., Mar 2026, In: ACM Transactions on Software Engineering and Methodology. 35, 3, 79.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Scheduling Task and Data Parallelism in Array Languages with Work Assisting
de Wolff, I. G., van Balen, D. & Keller, G. K., 2026, Euro-Par 2025: Parallel Processing - 31st European Conference on Parallel and Distributed Processing, 2025, Proceedings. Nagel, W. E., Goehringer, D. & Diniz, P. C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 38-52 15 p. (Lecture Notes in Computer Science; vol. 15900 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Activities
- 1 Invited talk
-
From dual-numbers reverse AD to an efficient implementation
Smeding, T. (Speaker)
29 Jun 2022Activity: Talk or presentation › Invited talk › Academic
In the media
-
FP2: Fully In-Place Functional Programming provides memory reuse for pure functional programs
Lorenzen, A., Swierstra, W. & Leijen, D.
12/09/23
1 Media contribution
Press/Media: Public Engagement Activities