A new notation for arrows (2001)

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