The arrow calculus (0)

by S Lindley, P Wadler, J Yallop
Venue:Journal of Functional Programming