References

CR91

William Clinger and Jonathan Rees. Revised report on the algorithmic language Scheme. Lisp Pointers, 4(3), 1991.

Esp93

David Espinosa. Modular denotational semantics. Unpublished manuscript, December 1993.

Esp94

David Espinosa. Building interpreters by transforming stratified monads. Unpublished manuscript, June 1994.

Esp95

David A. Espinosa. Semantic Lego. PhD thesis, Graduate School of Arts and Sciences, Columbia University, 1995.

JD93

Mark P. Jones and Luc Duponcheel. Composing monads. Research Report YALEU/DCS/RR-1004, Yale University, December 1993.

Jon93

Mark P. Jones. A system of constructor classes. In FPCA '93: Conference on Functional Programming Languages and Computer Architechure, Copenhagen, Denmark, pages 52-61, New York, June 1993. ACM Press.

LH95

Sheng Liang and Paul Hudak. Modular denotational semantics for compiler construction. In to appear in? ESOP '95?, September 1995.

LHJ95

Sheng Liang, Paul Hudak, and Mark Jones. Monad transformers and modular interpreters. In to appear in Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, January 1995.

Mog89

Eugenio Moggi. An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, Scotland, June 1989.

Mos92

Peter D. Mosses. Action Semantics. Number 26 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.

MW93

Peter D. Mosses and David A. Watt. Pascal action semantics. Technical Report 17.08, Computer Science Department, Aarhus University, Denmark and Department of Computing Science, University of Glasgow, Scotland, March 22 1993. Version 0.6.

Ørbæk94

Peter Ørbæk. OASIS: An optimizing action-based compiler generator. In Peter A. Fritzson, editor, Compiler Construction: Proceedings of the 5th International Conference, CC'94, volume 786 of Lecture Notes in Computer Science, pages 1-15, Edinburgh, U.K., April 1994. Springer-Verlag.

Ste94

Guy L. Steele, Jr. Building interpreters by composing monads. In to appear in Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, pages 472-492, New York, January 1994. ACM Press.

Wad92

Philip Wadler. The essence of functional programming. In to be presented as an invited talk at 19th Annual Symposium on Principles of Programming Languages, Santa Fe, New Mexico, January 1992.