|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
33
|
Action Semantics. Number 26
– P D Mosses
- 1992
|
|
93
|
Eli: A complete, flexible compiler construction system
– R W GRAY, V P HEURING, S P LEVI, A M SLOANE, W M WAITE
- 1992
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
50
|
Formal Syntax and Semantics of Programming Languages
– K Slonneger, B L Kurtz
- 1995
|
|
27
|
Building Interpreters by Composing Monads
– Guy L. Steele, Jr.
- 1994
|
|
104
|
Lazy functional state threads
– John Launchbury, Simon L Peyton Jones
- 1994
|
|
19
|
A modular monadic action semantics
– Keith Wansbrough, Keith Wansbrough, John Hamer, John Hamer
- 1997
|
|
29
|
Theory and Practice of Action Semantics
– Peter D. Mosses, Peter D. Mosses
- 1996
|
|
16
|
Inductive and operational semantics
– E Astesiano
- 1991
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
280
|
Natural semantics
– G. Kahn
- 1987
|
|
201
|
MetaML and Multi-Stage Programming with Explicit Annotations
– Walid Taha, Tim Sheard
- 1999
|
|
141
|
Denotational semantics
– P D Mosses
- 1990
|
