The view from the left. Submitted to the (2001)

by Conor McBride, James McKinna
Venue:Journal of Functional Programming, Special