3 search results - page 1 / 1 » A Simplifier for Untyped Lambda Expressions |
CTRS
1990
13 years 9 months ago
1990
LICS
1993
IEEE
13 years 9 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
FOSSACS
2004
Springer
13 years 10 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...