Monads, Effects and Transformations

[1]  David K. Gifford,et al.  Integrating functional and imperative programming , 1986, LFP '86.

[2]  Eugenio Moggi,et al.  Notions of Computation and Monads , 1991, Inf. Comput..

[3]  Carolyn L. Talcott,et al.  1 Equivalence in Functional Languages with E ectsIan , 2007 .

[4]  Andrew Donald Gordon,et al.  Functional programming and input/output , 1995 .

[5]  Pierre Jouvelot,et al.  The Type and Effect Discipline , 1994, Inf. Comput..

[6]  Andrew M. Pitts.  Reasoning about local variables with operationally-based logical relations , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[7]  Douglas J. Howe.  Proving Congruence of Bisimulation in Functional Programming Languages , 1996, Inf. Comput..

[8]  Andrew Pitts,et al.  Semantics and Logics of Computation: Operationally-Based Theories of Program Equivalence , 1997 .

[9]  Nick Benton,et al.  Compiling standard ML to Java bytecodes , 1998, ICFP '98.

[10]  Andrew P. Tolmach,et al.  Optimizing ML Using a Hierarchy of Monadic Types , 1998, Types in Compilation.

[11]  Simon L. Peyton Jones,et al.  Bridging the gulf: a common intermediate language for ML and Haskell , 1998, POPL '98.

[12]  Philip Wadler,et al.  The marriage of effects and monads , 1998, ICFP '98.

[13]  Simon L. Peyton Jones,et al.  Once upon a polymorphic type , 1999, POPL '99.

[14]  I. Stark,et al.  Operational reasoning for functions with local state , 1999 .

[15]  A. Pitts.  Parametric polymorphism and operational equivalence , 2000, Mathematical Structures in Computer Science.