The View from the Left. (2004)

by C McBride, J McKinna
Venue:Journal of Functional Programming,