25 search results - page 1 / 5 » The Typed Polymorphic Label-Selective lambda-Calculus |
POPL
1994
ACM
15 years 2 months ago
1994
ACM
99
Voted
LICS
2012
IEEE
13 years 17 days 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...
PEPM
1997
ACM
15 years 2 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
70
Voted
APAL
2008
14 years 10 months ago
2008
Consider the following restriction of the polymorphically typed lambda calculus ("System F"). All quantifications are parameter free. In other words, in every universal ...
88
Voted
ESOP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...