19 search results - page 1 / 4 » Relationally-parametric polymorphic contracts |
98
Voted
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
136
Voted
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...
97
Voted
LICS
2007
IEEE
15 years 8 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...
129
Voted
ESOP
2011
Springer
14 years 6 months ago
2011
Springer
171
Voted
TLCA
1993
Springer
15 years 6 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...