ITU

ACM

Publisher

View graph of relations

Research outputs (5)

  1. Published

    Gut-Tracking as Cultivation

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  2. Published

    Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  3. 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 chapterBook chapterResearchpeer-review

View all »

ID: 80522509