43 search results - page 1 / 9 » Parametric polymorphism and operational equivalence |
60
Voted
MSCS
2000
15 years 1 months ago
2000
135
Voted
LICS
2010
IEEE
15 years 8 days 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...
130
Voted
TLDI
2009
ACM
15 years 10 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...
101
Voted
ENTCS
2007
15 years 1 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 7 months ago
2005
IEEE
