TLCA
1995
Springer
15 years 11 days ago
1995
Springer
TLCA
1995
Springer
15 years 11 days 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 ...
112
Voted
TLCA
1995
Springer
15 years 11 days 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 ...