Fingerprint
Dive into the research topics of 'Composing and decomposing data types: a closed type families implementation of data types à la carte'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Composing and decomposing data types: a closed type families implementation of data types à la carte
Patrick Bahr