Documents Related by Co-Citation

234 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
1312 Monads for functional programming – Philip Wadler - 1995
733 Notions of Computation and Monads – Eugenio Moggi - 1991
165 An Abstract View of Programming Languages – E Moggi - 1989
28 Modular Monadic Semantics and Compilation – Sheng Liang - 1998
458 Comprehending Monads – Philip Wadler - 1992
473 Denotational Semantics: the Scott-Strachey approach to programming Language Theory – J Stoy - 1985
268 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
147 Modular Denotational Semantics – P Mosses - 1979
207 Type-directed partial evaluation – Olivier Danvy - 1996
24 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
55 Representing Layered Monads – Andrzej Filinski - 1999
69 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
4 The Essence of Algol," Algorithmic Languages – J Reynolds - 1981
7 A modular semantics for compiler generation – S Liang - 1995
53 Realistic Compiler Generation – P Lee - 1989
10 Using functor categories to generate intermediate code – J Reynolds - 1995
36 Compilers and staging transformations – Ulrik Jørring, William L Scherlis - 1986
131 Modern Compiler Implementation in ML – Andrew w Appel - 1998