|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
1225
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
652
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
153
|
An abstract view of programming languages
– Eugenio Moggi
- 1989
|
|
28
|
Modular Monadic Semantics and Compilation
– Sheng Liang
- 1998
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
64
|
Composing Monads
– Mark P. Jones, Luc Duponcheel
- 1993
|
|
235
|
The Essence of Compiling with Continuations
– Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
- 1993
|
|
141
|
Denotational semantics
– P D Mosses
- 1990
|
|
82
|
The Semantics of the C Programming Language
– Yuri Gurevich, James K. Huggins
- 1993
|
|
48
|
Representing Layered Monads
– Andrzej Filinski
- 1999
|
|
433
|
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
– J E Stoy
- 1977
|
|
119
|
Feature-Oriented Programming: A Fresh Look At Objects
– Christian Prehofer
- 1997
|
|
171
|
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
60
|
A Programmer Friendly Modular Definition of the Semantics of Java
– Egon Börger, Wolfram Schulte
- 1997
|
|
116
|
Representing Monads
– Andrzej Filinski
- 1994
|
|
195
|
Type-directed partial evaluation
– Olivier Danvy
- 1996
|
|
21
|
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
– Olivier Danvy, René Vestergaard
|
|
5
|
Correctness of compiling occam to transputer
– E Borger, I Durdanovic
- 1996
|
