TLCA
1995
Springer
14 years 5 months ago
1995
Springer
TLCA
1995
Springer
14 years 5 months ago
1995
Springer
We introduce a simply-typed λ-calculus (λ→ exn ) featuring an ML-like exception handling mechanism. This calculus, whose type system corresponds to classical logic through the ...
TLCA
1995
Springer
14 years 5 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...