Building Interpreters by Composing Monads (1994)

Cached

Download Links

by Guy L. Steele , Jr.
Venue:In 21st Annual ACM Symposium on Principles of Programming Languages (POPL'94
Citations:30 - 0 self

Documents Related by Co-Citation

233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
1312 Monads for functional programming – Philip Wadler - 1995
163 An abstract view of programming languages – E Moggi - 1989
456 Comprehending Monads – Philip Wadler - 1992
730 Notions of Computation and Monads – Eugenio Moggi - 1991
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
130 Representing Monads – Andrzej Filinski - 1994
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
53 The essence of functional programming (invited talk – Philip Wadler - 1992
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981
55 Representing Layered Monads – Andrzej Filinski - 1999
225 Report on the programming language Haskell: A non-strict, purely functional language – Paul Hudak, Philip Wadler, Arvind Brian, Boutel Jon Fairbairn, Joseph Fasel, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Simon Peyton Jones, Mike Reeve, David Wise, Jonathan Young - 1992
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
42 A functional theory of exceptions – M Spivey - 1990
24 Programming Languages: An Interpreter-Based Approach – S Kamin - 1990