43 search results - page 1 / 9 » Parametric polymorphism and operational equivalence |
41
Voted
MSCS
2000
14 years 10 months ago
2000
104
click to vote
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
94
Voted
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...
78
Voted
ENTCS
2007
14 years 10 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 ...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
