Decorated proofs for computational effects: States
Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude
Published in Electronic proceedings in theoretical computer science (01.01.2012)
Published in Electronic proceedings in theoretical computer science (01.01.2012)
Get full text
Journal Article
Cartesian effect categories are Freyd-categories
Dumas, Jean-Guillaume, Duval, Dominique, Reynaud, Jean-Claude
Published in Journal of symbolic computation (01.03.2011)
Published in Journal of symbolic computation (01.03.2011)
Get full text
Journal Article
A duality between exceptions and states
DUMAS, JEAN-GUILLAUME, DUVAL, DOMINIQUE, FOUSSE, LAURENT, REYNAUD, JEAN-CLAUDE
Published in Mathematical structures in computer science (01.08.2012)
Published in Mathematical structures in computer science (01.08.2012)
Get full text
Journal Article
Effects of substance P on cardiovascular regulation in the rabbit
Martini, Fabienne, Reynaud, Jean-Claude, Puizillout, Jean-Jacques
Published in Journal of the autonomic nervous system (09.02.1995)
Published in Journal of the autonomic nervous system (09.02.1995)
Get full text
Journal Article
Certified proofs in programs involving exceptions
Dumas, Jean-Guillaume, Duval, Dominique, Ekici, Burak, Reynaud, Jean-Claude
Year of Publication 09.10.2013
Year of Publication 09.10.2013
Get full text
Journal Article
Hilbert-Post completeness for the state and the exception effects
Dumas, Jean-Guillaume, Duval, Dominique, Ekici, Burak, Pous, Damien, Reynaud, Jean-Claude
Year of Publication 03.03.2015
Year of Publication 03.03.2015
Get full text
Journal Article
Decorated proofs for computational effects: States
Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude
Published in arXiv.org (07.09.2012)
Published in arXiv.org (07.09.2012)
Get full text
Paper
Journal Article
Adjunctions for exceptions
Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude
Year of Publication 05.07.2012
Year of Publication 05.07.2012
Get full text
Journal Article
Decorated proofs for computational effects: Exceptions
Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude
Year of Publication 13.03.2012
Year of Publication 13.03.2012
Get full text
Journal Article
A duality between exceptions and states
Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude
Year of Publication 11.12.2011
Year of Publication 11.12.2011
Get full text
Journal Article
Certified proofs in programs involving exceptions
Dumas, Jean-Guillaume, Duval, Dominique, Ekici, Burak, Reynaud, Jean-Claude
Published in arXiv.org (13.03.2014)
Get full text
Published in arXiv.org (13.03.2014)
Paper