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

Patrick Bahr

Browse the full ICFP paper archive.