Arrows and computation (2003)

by R Paterson
Venue:The Fun of Programming