2 search results - page 1 / 1 » tapsoft 1993 |
TAPSOFT
1993
Springer
13 years 9 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
TAPSOFT
1993
Springer
13 years 9 months ago
1993
Springer
: We propose a new algebraic framework for exception handling which is powerful enough to cope with many exception handling features such that recovery, implicit propagation of exc...