Rechercher

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 15 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00650260v1 Pré-publication, Document de travail Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. A duality between exceptions and states 2011
	hal-00828544v1 Communication dans un congrès Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: States ACCAT, 2012, Estonia. Open Publishing Association, 93, pp.45-59, 2012, <10.4204/EPTCS.93.3>
	hal-00828521v1 Article dans une revue Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. A duality between exceptions and states Mathematical Structures for Computer Science, 2012, 22 (4), pp.719-722. <10.1017/S0960129511000752>
	hal-00867237v3 Communication dans un congrès Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Jean-Claude Reynaud. Certified proofs in programs involving exceptions Conference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16, 2014
	hal-00161303v1 Pré-publication, Document de travail Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Sequential products in effect categories 2007
	hal-00868831v2 Rapport Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Patterns for computational effects arising from a monad or a comonad 2013
	hal-00388686v1 Communication dans un congrès Dominique Duval, Jean-Guillaume Dumas, Jean-Claude Reynaud. Sequential products for effects ACCAT'09 - Applied and Computational Category Theory, Mar 2009, York, United Kingdom
	hal-00369328v3 Article dans une revue Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Cartesian effect categories are Freyd-categories Journal of Symbolic Computation, Elsevier, 2011, 46 (3), pp.272-293. <10.1016/j.jsc.2010.09.008>
	hal-01121924v3 Communication dans un congrès Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud. Hilbert-Post completeness for the state and the exception effects Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. 2015, LNCS
	hal-00714710v2 Rapport Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Adjunctions for exceptions 2012
	hal-00445873v4 Pré-publication, Document de travail Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. States and exceptions considered as dual effects 2011
	hal-00678738v1 Pré-publication, Document de travail Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: Exceptions 11 pages. 2012
	hal-00770341v1 Communication dans un congrès Dominique Duval, Jean-Guillaume Dumas, Jean-Claude Reynaud. Sequential products in effect categories Journées ARROWS, Jun 2007, Nancy, France
	hal-00650269v2 Article dans une revue Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse, Jean-Claude Reynaud. Decorated proofs for computational effects: States Electronic Proceedings in Theoretical Computer Science, EPTCS, 2012, 93, pp.45-59. <10.4204/EPTCS.93.3>
	hal-00941653v1 Article dans une revue Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Breaking a monad-comonad symmetry between computational effects Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (4), pp.719-722. <10.1017/S0960129511000752>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 15 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM