25 citations · 210 across the 59 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014
Program certification with computational effects
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici +1
Dynamic evaluation is a paradigm in computer algebra which was introduced for computing with algebraic numbers. In linear algebra, for instance, dynamic evaluation can be used to a…
cs.LO2014★ 9 cited
Breaking a monad-comonad symmetry between computational effects
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
Computational effects may often be interpreted in the Kleisli category of a monad or in the coKleisli category of a comonad. The duality between monads and comonads corresponds, in…