Ross Paterson
A New Notation for Arrows
ICFP, 2001.
@inproceedings{ICFP-2001-Paterson, author = "Ross Paterson", booktitle = "{Proceedings of the Sixth International Conference on Functional Programming}", doi = "10.1145/507635.507664", editor = "Benjamin C. Pierce", isbn = "1-58113-415-0", pages = "229--240", publisher = "{ACM}", title = "{A New Notation for Arrows}", year = 2001, }