|
15
|
Monadic Encapsulation in ML
– Miley Semmelroth, Amr Sabry
- 1999
|
|
75
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
|
17
|
Isolating Side Effects in Sequential Languages
– Jon G. Riecke, Ramesh Viswanathan
- 1995
|
|
|
A Flexible Semantic Framework for Effects
– Ross Tate, Daan Leijen, Sorin Lerner
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
11
|
Safe and Principled Language Interoperation
– Valery Trifonov, Zhong Shao
- 1999
|
|
8
|
Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)
– Gilles Barthe, John Hatcliff, Peter Thiemann
- 1997
|
|
186
|
Typed Memory Management in a Calculus of Capabilities
– David Walker, Karl Crary, Greg Morrisett
- 2000
|
|
6
|
A Modal Calculus for Effect Handling
– Aleksandar Nanevski
- 2003
|
|
2
|
Monadic and Substructural Type Systems for Region-Based Memory Management
– Matthew Thomas Fluet
- 2007
|
|
|
A Modal Language for Effects
– Sungwoo Park, Robert Harper
- 2004
|
|
|
A Logical View of Effects
– Sungwoo Park , Robert Harper
|
|
5
|
Extending the Loop Language with Higher-Order Procedural Variables
– T. Crolard, E. Polonowski, P. Valarcher
- 2007
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
20
|
Correctness of Monadic State: An Imperative Call-by-Need Calculus
– Zena M. Ariola, Amr Sabry
- 1998
|
|
3
|
Imperative Lambda Calculus Revisited
– Hongseok Yang, Uday Reddy
- 1997
|
|
3
|
Type-directed continuation allocation
– Zhong Shao, Valery Trifonov
- 1998
|
|
5
|
Weak Polymorphism Can Be Sound
– John Greiner
- 1996
|
|
89
|
A Critique of Standard ML
– Andrew W. Appel
- 1992
|
