Sciweavers

19 search results - page 1 / 4
» Relationally-parametric polymorphic contracts
Sort
View
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
15 years 6 months ago
Relational parametricity for references and recursive types
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...
Lars Birkedal, Kristian Støvring, Jacob Tha...
LICS
2007
IEEE
15 years 4 months ago
Relational Parametricity for Computational Effects
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...
Rasmus Ejlers Møgelberg, Alex Simpson
ESOP
2011
Springer
14 years 1 months ago
Polymorphic Contracts
João Filipe Belo, Michael Greenberg, Atsush...
TLCA
1993
Springer
15 years 1 months ago
A Logic for Parametric Polymorphism
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...
Gordon D. Plotkin, Martín Abadi