ACM
Publisher
Research outputs (5)
- Published
Gut-Tracking as Cultivation
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain
Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
- Published
Composing and Decomposing Data Types: A Closed Type Families Implementation of Data Types à La Carte
Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
ID: 80522509