|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
116
|
Representing Monads
– Andrzej Filinski
- 1994
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
79
|
Abstracting Control
– Olivier Danvy, Andrzej Filinski
- 1990
|
|
122
|
The theory and practice of first-class prompts
– M Felleisen
- 1988
|
|
235
|
The Essence of Compiling with Continuations
– Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
- 1993
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
154
|
An abstract view of programming languages
– Eugenio Moggi
- 1990
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
75
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
|
58
|
A Functional Abstraction of Typed Contexts
– Olivier Danvy, Andrzej Filinski
- 1989
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
29
|
Adequacy for algebraic effects
– Gordon Plotkin, Matija Pretnar
- 2001
|
|
26
|
Algebraic Operations and Generic Effects
– Gordon Plotkin, John Power
- 2003
|
|
114
|
Polymorphic Type, Region and Effect Inference
– Jean-Pierre Talpin, Pierre Jouvelot
- 1991
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
72
|
Integrating functional and imperative programming
– D K Gifford, J M Lucassen
- 1986
|
