Building domain-specific embedded languages

[1]  Paul Hudak,et al.  Modular Denotational Semantics for Compiler Construction , 1996, ESOP.

[2]  Paul Hudak,et al.  Monad transformers and modular interpreters , 1995, POPL '95.

[3]  Guy L. Steele,et al.  Building interpreters by composing monads , 1994, POPL '94.

[4]  Simon L. Peyton Jones,et al.  Imperative functional programming , 1993, POPL '93.

[5]  Philip Wadler,et al.  Comprehending monads , 1990, Mathematical Structures in Computer Science.

[6]  Eugenio Moggi,et al.  Computational lambda-calculus and monads , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.