|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
195
|
Type-directed partial evaluation
– Olivier Danvy
- 1996
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
21
|
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
– Olivier Danvy, René Vestergaard
|
|
52
|
Modular Denotational Semantics for Compiler Construction
– Sheng Liang, Paul Hudak
- 1996
|
|
28
|
Modular Monadic Semantics and Compilation
– Sheng Liang
- 1998
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
154
|
An abstract view of programming languages
– Eugenio Moggi
- 1990
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
433
|
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
– J E Stoy
- 1977
|
|
165
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
7
|
Writing modular interpreters using catamorphisms, subtypes and monad transformers
– Luc Duponcheel
- 1995
|
|
9
|
Promotional Transformation on Monadic Programs
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1995
|
|
62
|
A Polymorphic Type System for Extensible Records and Variants
– Benedict R. Gaster, Mark P. Jones
- 1996
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
7
|
A modular semantics for compiler generation
– S Liang
- 1995
|
|
141
|
Denotational semantics
– P D Mosses
- 1990
|
|
29
|
Handwriting cogen to avoid problems with static typing
– C K Holst, J Launchbury
- 1991
|
