|
|
A Flexible Semantic Framework for Effects
– Ross Tate, Daan Leijen, Sorin Lerner
|
|
27
|
Type-Based Analysis and Applications
– Jens Palsberg
- 2001
|
|
|
Effectful progamming Type inference for effects with natural subtyping (Draft, submitted to APLAS’10)
– Ross Tate, Daan Leijen
|
|
6
|
A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis
– Judith A. Stafford
- 2000
|
|
2
|
Monadic and Substructural Type Systems for Region-Based Memory Management
– Matthew Thomas Fluet
- 2007
|
|
15
|
Monadic Encapsulation in ML
– Miley Semmelroth, Amr Sabry
- 1999
|
|
27
|
Parameterised notions of computation
– Robert Atkey
- 2006
|
|
6
|
A Modal Calculus for Effect Handling
– Aleksandar Nanevski
- 2003
|
|
27
|
A new foundation for control-dependence and slicing for modern program structures
– Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff
- 2005
|
|
1
|
D.: Convenient explicit effects using type inference with subeffects
– Ross Tate, Daan Leijen
- 2010
|
|
1
|
Information-flow control for programming on encrypted data ∗
– J. C. Mitchell, R. Sharma, D. Stefan, J. Zimmerman
- 2012
|
|
5
|
Effects for cooperable and serializable threads
– Jaeheon Yi, Cormac Flanagan
- 2010
|
|
8
|
Slicing Concurrent Java Programs
– Zhenqiang Chen, Zhenqiang Chen, Baowen Xu, Baowen Xu
- 2001
|
|
14
|
Context-Sensitive Slicing of Concurrent Programs
– Jens Krinke
- 2003
|
|
5
|
The Java System Dependence Graph
– Neil Walkinshaw, Marc Roper, Murray Wood, Neil Walkinshaw Marc Roper
- 2003
|
|
|
of Program Constructs – Type structure General Terms Languages, Theory
– Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann
|
|
27
|
Monadic Encapsulation of Effects: A Revised Approach (Extended Version)
– E. Moggi, Amr Sabry
- 1999
|
|
10
|
Semantics of an effect analysis for exceptions
– Nick Benton, Peter Buchlovsky
- 2007
|
|
|
DETERMINISTIC-BY-DEFAULT PARALLEL PROGRAMMING BY
– Robert L. Bocchino
|
