Optimizing ML using a hierarchy of monadic yypes (1998)

by A Tolmach
Venue:Workshop on Types in Compilation, Kyoto
Add To MetaCart
Results 1 - 1 of 1

The Marriage of Effects and Monads

by Philip Wadler, Peter Thiemann , 1998
"... this paper is to marry effects to monads, writing T for a computation that yields a value in and may have effects delimited by oe. Now we have that ( is ..."
Abstract - Cited by 75 (3 self) - Add to MetaCart
this paper is to marry effects to monads, writing T for a computation that yields a value in and may have effects delimited by oe. Now we have that ( is