Arrows and computation (2003)

by Ross Paterson
Venue:The Fun of Programming