429 search results - page 19 / 86 » Parameter-free polymorphic types |
JFP
2010
14 years 8 months ago
2010
SCP
2010
14 years 7 months ago
2010
CORR
2010
Springer
14 years 4 months ago
2010
Springer
POPL
1989
ACM
15 years 1 months ago
1989
ACM
Dynamic typing can be useful in statically typed languages. We extend the simply typed λ-calculus with dynamic typing and elaborate additional features like polymorphism and subty...
LICS
2012
IEEE
12 years 12 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...