Sciweavers

Share
3 search results - page 1 / 1
» tlca 1995
Sort
View
TLCA
1995
Springer
9 years 3 months ago
A Simple Calculus of Exception Handling
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 ...
Philippe de Groote
TLCA
1995
Springer
9 years 3 months ago
Typed Operational Semantics
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 ...
Healfdene Goguen
books