Foundational Extensible Corecursion

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationICFP 2015
EditorsJohn Reppy
Number of pages13
PublisherACM
Publication date2015
Pages192-204
DOIs
Publication statusPublished - 2015
Externally publishedYes

ID: 245668981