Data types à la carte (2008)

by W Swierstra
Venue:J. Funct. Program