|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
52
|
Modular Denotational Semantics for Compiler Construction
– Sheng Liang, Paul Hudak
- 1996
|
|
154
|
An abstract view of programming languages
– Eugenio Moggi
- 1990
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
141
|
Denotational semantics
– P D Mosses
- 1990
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
33
|
Action Semantics. Number 26
– P D Mosses
- 1992
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
4
|
An implementation of modular monadic semantics using folds and monadic folds
– J E Labra
- 1998
|
|
4
|
Language prototyping using modular monadic semantics
– J E Labra, J M Cueva, C Luengo
- 1999
|
|
4
|
Modular development of interpreters from semantic building blocks
– J E Labra, J M Cueva, M C Luengo
- 2000
|
|
2
|
A language prototyping tool based on semantic building blocks
– J E Labra, J M Cueva Lovelle, M C Luengo Díez, B M González
- 2001
|
|
2
|
LPS: A language prototyping system using modular monadic semantics
– J E Labra, M C Luengo, J M Cueva, A Cernuda
- 2001
|
|
3
|
Modular Development of Language Processors from Reusable Semantic Specifications
– Jose E Labra
- 2001
|
|
7
|
Writing modular interpreters using catamorphisms, subtypes and monad transformers
– Luc Duponcheel
- 1995
|
