9 citations · 33 across the 10 of their papers we have counts for
3 papers · 1 filter
A duality between exceptions and states
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
In this short note we study the semantics of two basic computational effects, exceptions and states, from a new point of view. In the handling of exceptions we dissociate the contr…
Decorated proofs for computational effects: States
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
The syntax of an imperative language does not mention explicitly the state, while its denotational semantics has to mention it. In this paper we show that the equational proofs abo…
Recursive double-size fixed precision arithmetic
Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse +1
This work is a part of the SHIVA (Secured Hardware Immune Versatile Architecture) project whose purpose is to provide a programmable and reconfigurable hardware module with high le…