A new notation for arrows (2001)

by R Paterson
Venue:In: International Conference on Functional Programming. ACM