76 search results - page 1 / 16 » Recursive Polymorphic Types and Parametricity in an Operatio... |
133
click to vote
TLDI
2009
ACM
15 years 11 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...
107
click to vote
ENTCS
2007
15 years 2 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 ...
120
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
110
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...