Compositional data types. (2011)

by P Bahr, T Hvitved
Venue:In Workshop on Generic Programming,