291 search results - page 1 / 59 » A Logic for Parametric Polymorphism |
TLCA
1993
Springer
13 years 9 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...
ENTCS
2006
13 years 5 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
TYPES
2007
Springer
13 years 11 months ago
2007
Springer
POPL
1997
ACM
13 years 9 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
FOSSACS
2009
Springer
14 years 2 days 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....