267 search results - page 6 / 54 » Formal Parametric Polymorphism |
128
Voted
FOSSACS
2009
Springer
15 years 10 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....
114
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
114
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
108
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
73
Voted
MSCS
2000
15 years 3 months ago
2000