Manufacturing datatypes (2001)

by Ralf Hinze
Venue:Journal of Functional Programming