Ornamental algebras, algebraic ornaments (2012)

by C McBride
Venue:Journal of Functional Programming