|
210
|
Polymorphic effect systems
– John M. Lucassen, David K. Gifford
- 1988
|
|
75
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
|
13
|
Optimizing ML Using a Hierarchy of Monadic Types
– Andrew Tolmach
- 1998
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
24
|
Monadic State: Axiomatization and Type Safety
– John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated
- 1997
|
|
10
|
Theoretical and practical aspects of type and effect inference. Doctoral Dissertation
– Jean-Pierre Talpin
- 1993
|
|
68
|
A Region Inference Algorithm
– Mads Tofte , Lars Birkedal
- 1998
|
|
10
|
Semantics of an effect analysis for exceptions
– Nick Benton, Peter Buchlovsky
- 2007
|
|
24
|
Structuring Depth-First Search Algorithms in Haskell
– David King, John Launchbury
- 1995
|
|
72
|
Integrating functional and imperative programming
– D K Gifford, J M Lucassen
- 1986
|
|
26
|
Observational Purity and Encapsulation
– David A. Naumann
- 2006
|
|
10
|
Relational semantics for effect-based program transformations: higher-order store
– N Benton, A Kennedy, L Beringer, M Hofmann
- 2009
|
|
57
|
Type-Based Analysis of Uncaught Exceptions
– Xavier Leroy, François Pessaux
- 1998
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
50
|
Using Category Theory to Design Implicit Conversions and Generic Operators, Semantics-Directed Compiler Generation
– John C Reynolds
- 1980
|
|
135
|
The Type and Effect Discipline
– Jean-Pierre Talpin, Pierre Jouvelot
- 1992
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
