Monads for functional programming. Program design calculi: Marktoberdorf international summer school on program design calculi (1992)

by P Wadler