.:. Browse > By laboratory > Reynaud Consulting .:.

8 documents ordered by : Date Title first author name document type Submit date

Adjunctions for exceptions Dumas J.-G., Duval D., Fousse L., Reynaud J.-C. [hal-00714710 - version 2]

Decorated proofs for computational effects: Exceptions Dumas J.-G., Duval D., Fousse L., Reynaud J.-C. (13/03/2012) [hal-00678738 - version 1]

Decorated proofs for computational effects: States Dumas J.-G., Duval D., Fousse L., Reynaud J.-C. (15/12/2011) [hal-00650269 - version 2]

A duality between exceptions and states Dumas J.-G., Duval D., Fousse L., Reynaud J.-C. (24/10/2011) [hal-00650260 - version 1]

States and exceptions considered as dual effects Dumas J.-G., Duval D., Fousse L., Reynaud J.-C. (19/05/2011) [hal-00445873 - version 4]

Cartesian effect categories are Freyd-categories Dumas J.-G., Duval D., Reynaud J.-C. Journal of Symbolic Computation 46, 3 (2011) 272-293 [hal-00369328 - version 3]

Sequential products in effect categories Dumas J.-G., Duval D., Reynaud J.-C. [hal-00161303 - version 1]

Sequential products in effect categories Duval D., Dumas J.-G., Reynaud J.-C. Dans Journées ARROWS (2007) [hal-00770341 - version 1]