3 search results - page 1 / 1 » tlca 1995 |
TLCA
1995
Springer
13 years 10 months ago
1995
Springer
TLCA
1995
Springer
13 years 10 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
13 years 10 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 ...