19 search results - page 1 / 4 » Relationally-parametric polymorphic contracts |
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
TLDI
2009
ACM
15 years 7 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...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
ESOP
2011
Springer
14 years 2 months ago
2011
Springer
130
click to vote
TLCA
1993
Springer
15 years 2 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...