Composing and decomposing data types: a closed type families implementation of data types à la carte

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Patrick Bahr
Original languageEnglish
Title of host publicationProceedings of the 10th ACM SIGPLAN Workshop on Generic Programming
Number of pages12
PublisherAssociation for Computing Machinery
Publication date2014
Pages71-82
ISBN (Print)978-1-4503-3042-8
DOIs
Publication statusPublished - 2014
EventACM SIGPLAN Workshop on Generic Programming - Gothenburg, Sweden
Duration: 31 Aug 2014 → …
Conference number: 10

Conference

ConferenceACM SIGPLAN Workshop on Generic Programming
Nummer10
LandSweden
ByGothenburg
Periode31/08/2014 → …

ID: 125684371