|
114
|
An Indexed Model of Recursive Types for Foundational Proof-Carrying Code
– Andrew W. Appel, David Mcallester
- 2000
|
|
101
|
Operational Reasoning for Functions With Local State
– Andrew Pitts, Ian Stark
|
|
60
|
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types
– Amal Ahmed
- 2006
|
|
14
|
A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References
– Eijiro Sumii
- 2009
|
|
44
|
Semantics of Types for Mutable State
– Amal Jamil Ahmed
- 2004
|
|
32
|
A very modal model of a modern, major, general type system
– A W Appel, P-A Melliès, C D Richards, J Vouillon
- 2007
|
|
92
|
Relational Properties of Domains
– Andrew M. Pitts
- 1996
|
|
14
|
A Relational Modal Logic for Higher-Order Stateful ADTs
– Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
|
|
580
|
Types and Programming Languages
– B C Pierce
- 2002
|
|
38
|
Small bisimulations for reasoning about higher-order imperative programs
– V Koutavas, M Wand
- 2006
|
|
37
|
A bisimulation for type abstraction and recursion
– Eijiro Sumii, Benjamin C. Pierce
- 2005
|
|
18
|
Hiding local state in direct style: a higher-order anti-frame rule
– F Pottier
- 2008
|
|
332
|
Types, abstraction and parametric polymorphism
– J C Reynolds
- 1983
|
|
23
|
Syntactic logical relations for polymorphic and recursive types
– K Crary, R Harper
|
|
45
|
Recursion over realizability structures
– R Amadio
- 1991
|
|
59
|
A Per Model of Polymorphism and Recursive Types
– M. Abadi, G. D. Plotkin
- 1990
|
|
22
|
Relational reasoning for recursive types and references
– Nina Bohr, Lars Birkedal
- 2006
|
|
20
|
Biorthogonality, Step-Indexing and Compiler Correctness
– Nick Benton, Chung-Kil Hur
- 2009
|
|
22
|
The impact of higher-order state and control effects on local relational reasoning (Technical appendix
– Derek Dreyer, Georg Neis, Lars Birkedal
- 2010
|
