The Marriage of Effects and Monads (1998)

by Philip Wadler , Peter Thiemann
Citations:92 - 4 self