A new notation for arrows. (2001)

by Ross Paterson
Venue:In ICFP’01: International Conference on Functional Programming,