61
Voted
TAPSOFT
1993
Springer
15 years 28 days 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...
78
Voted
TAPSOFT
1993
Springer
15 years 28 days 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 ...