9 citations · 65 across the 33 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012
Adjunctions for exceptions
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
An algebraic method is used to study the semantics of exceptions in computer languages. The exceptions form a computational effect, in the sense that there is an apparent mismatch…
cs.LO2012
Decorated proofs for computational effects: Exceptions
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
We define a proof system for exceptions which is close to the syntax for exceptions, in the sense that the exceptions do not appear explicitly in the type of any expression. This p…