20 search results - page 1 / 4 » Relational parametricity for references and recursive types |
TLDI
2009
ACM
14 years 1 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
FOSSACS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
MSCS
2010
13 years 2 months ago
2010
tations of imperative abstract data types.
APLAS
2006
ACM
13 years 10 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
ENTCS
2007
13 years 4 months ago
2007
The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in ...