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

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  • Patrick Bahr
OriginalsprogEngelsk
TitelProceedings of the 10th ACM SIGPLAN Workshop on Generic Programming
Antal sider12
ForlagAssociation for Computing Machinery
Publikationsdato2014
Sider71-82
ISBN (Trykt)978-1-4503-3042-8
DOI
StatusUdgivet - 2014
BegivenhedACM SIGPLAN Workshop on Generic Programming - Gothenburg, Sverige
Varighed: 31 aug. 2014 → …
Konferencens nummer: 10

Konference

KonferenceACM SIGPLAN Workshop on Generic Programming
Nummer10
LandSverige
ByGothenburg
Periode31/08/2014 → …

    Forskningsområder

  • closed type families, expression problem, modularity, two-level types

ID: 125684371