A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is
The familiar Hindley-Milner type system of the ML language family is extended with monad annotations to account for possible side e ects of expression evaluation. This also allows e ects to be e ectively encapsulated by lexical scopes, with enforcement provided by t ype checking. A t ype-and-e ects analysis supports type inference. Type soundness and completeness theorems establish the coherence of monadic type inference with the reference semantics of a small ML-style language.doi:10.1145/289423.289428 dblp:conf/icfp/Kieburtz98 fatcat:lpofzvhxvfbrxak3eatwn2o6mi