The arrow calculus (2008)

by Sam Lindley , Philip Wadler , Jeremy Yallop
Citations:7 - 3 self