The Marriage of Effects and Monads (1998)

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