429 search results - page 19 / 86 » Parameter-free polymorphic types |
JFP
2010
14 years 10 months ago
2010
SCP
2010
14 years 10 months ago
2010
CORR
2010
Springer
14 years 6 months ago
2010
Springer
100
click to vote
POPL
1989
ACM
15 years 3 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...
118
click to vote
LICS
2012
IEEE
13 years 2 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...