9 citations · 31 across the 12 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 2 cited
Patterns for computational effects arising from a monad or a comonad
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud
This paper presents equational-based logics for proving first order properties of programming languages involving effects. We propose two dual inference system patterns that can be…
cs.LO2013★ 4 cited
Certified proofs in programs involving exceptions
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici +1
Exception handling is provided by most modern programming languages. It allows to deal with anomalous or exceptional events which require special processing. In computer algebra, e…