267 search results - page 6 / 54 » Formal Parametric Polymorphism |
215
click to vote
FOSSACS
2009
Springer
16 years 2 months 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....
172
Voted
LICS
2005
IEEE
16 years 29 days ago
2005
IEEE
143
Voted
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
125
Voted
MSCS
2000
15 years 7 months ago
2000