Under consideration for publication in J. Functional Programming 1 The Arrow Calculus

by Sam Lindley , Philip Wadler , Jeremy Yallop