9 citations · 31 across the 12 of their papers we have counts for
1 paper · 2 filters
Dominique Duval, Jean-Claude Reynaud
This paper presents a unified framework for dealing with a deduction system and a denotational semantics of exceptions. It is based on the fact that handling exceptions can be seen…