A. Tolmach, Optimizing ML using a hierarchy of monadic yypes Workshop on Types in Compilation, Kyoto, March 1998. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
The Marriage of Effects and Monads - Wadler (1998) (13 citations) (Correct)
....is labeled with the empty effect, the corresponding term is pure and additional optimizations may be applied. Or when the monad reads but does not write the store, certain operations may be commuted. This technique has been applied to intermediate languages for Standard ML compilers by Tolmach [Tol98] and by Benton, Kennedy, and Russel [BKR98] Our work can be regarded as complementary to theirs: we provide the theory and they provide the practice. Summary of results Talpin and Jouvelot present (i) a type system with effects, ii) a semantics, with a proof that types and effects are ....
A. Tolmach, Optimizing ML using a hierarchy of monadic yypes Workshop on Types in Compilation, Kyoto, March 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC