|
58
|
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types
– Amal Ahmed
- 2006
|
|
111
|
An Indexed Model of Recursive Types for Foundational Proof-Carrying Code
– Andrew W. Appel, David Mcallester
- 2000
|
|
332
|
Types, abstraction, and parametric polymorphism
– John Reynolds
- 1983
|
|
23
|
Syntactic logical relations for polymorphic and recursive types
– K Crary, R Harper
|
|
36
|
A bisimulation for type abstraction and recursion
– Eijiro Sumii, Benjamin C. Pierce
- 2005
|
|
99
|
Operational Reasoning for Functions With Local State
– Andrew Pitts, Ian Stark
|
|
290
|
Theorems for free!
– Philip Wadler
- 1989
|
|
21
|
Recursive Polymorphic Types and Parametricity in an Operational Framework
– Paul-André Melliès, Jérôme Vouillon
- 2005
|
|
33
|
Relational interpretations of recursive types in an operational setting
– Lars Birkedal, Robert Harper
- 1997
|
|
38
|
Smaller bisimulations for reasoning about higher-order imperative programs
– Vasileios Koutavas, Mitchell Wand
- 2006
|
|
31
|
Relational Reasoning about Functions and Nondeterminism
– Søren Bøgh Lassen, Søren Bøgh Lassen
- 1998
|
|
71
|
Parametric Polymorphism and Operational Equivalence
– Andrew M. Pitts
- 2000
|
|
28
|
A bisimulation for dynamic sealing
– Eijiro Sumii
- 2004
|
|
43
|
State-dependent representation independence
– Amal Ahmed, Derek Dreyer, Andreas Rossberg
- 2009
|
|
12
|
Selective strictness and parametricity in structural operational semantics, inequationally
– J Voigtländer, P Johann
|
|
21
|
The impact of higher-order state and control effects on local relational reasoning
– Derek Dreyer, Georg Neis, Lars Birkedal
- 2010
|
|
108
|
Equivalence in Functional Languages with Effects
– Ian Mason, Carolyn Talcott
- 1991
|
|
51
|
Behavioral Equivalence in the Polymorphic Pi-Calculus
– Benjamin C. Pierce, Davide Sangiorgi
- 1997
|
|
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
|
