- 13
- 2
- 2
Jean-Guillaume Dumas
Professeur à l'UGA, directeur du LJK
17
Documents
Site web
- https://membres-ljk.imag.fr/Jean-Guillaume.Dumas
Publications
- 17
- 13
- 6
- 3
- 2
- 1
- 1
- 3
- 1
- 5
- 2
- 1
- 2
- 2
- 15
- 2
|
|
Decorated proofs for computational effects: StatesElectronic Proceedings in Theoretical Computer Science, 2012, 93, pp.45-59. ⟨10.4204/EPTCS.93.3⟩
Article dans une revue
hal-00650269v2
|
A duality between exceptions and statesMathematical Structures in Computer Science, 2012, 22 (4), pp.719-722. ⟨10.1017/S0960129511000752⟩
Article dans une revue
hal-00650260v2
|
|
|
|
Cartesian effect categories are Freyd-categoriesJournal of Symbolic Computation, 2011, 46 (3), pp.272-293. ⟨10.1016/j.jsc.2010.09.008⟩
Article dans une revue
hal-00369328v3
|
|
|
Hilbert-Post completeness for the state and the exception effectsSixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. pp.596-610, ⟨10.1007/978-3-319-32859-1_51⟩
Communication dans un congrès
hal-01121924v3
|
|
|
Certified proofs in programs involving exceptionsConference on Intelligent Computer Mathematics Work in Progress, Jul 2014, Coimbra, Portugal. pp.16
Communication dans un congrès
hal-00867237v3
|
|
|
Formal verification in Coq of program properties involving the global state effectJFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17
Communication dans un congrès
hal-00869230v2
|
Decorated proofs for computational effects: StatesACCAT, 2012, -, Estonia
Communication dans un congrès
hal-00828544v1
|
|
Sequential products for effectsACCAT'09 - Applied and Computational Category Theory, Mar 2009, York, United Kingdom
Communication dans un congrès
hal-00388686v1
|
|
Sequential products in effect categoriesJournées ARROWS, Jun 2007, Nancy, France
Communication dans un congrès
hal-00770341v1
|
|
|
|
Towards a diagrammatic modeling of the LinBox C++ linear algebra libraryLangages et Modèles à Objets, Mar 2006, Nîmes, France. pp.117-132
Communication dans un congrès
hal-00012346v2
|
Vers une modélisation diagrammatique de la bibliothèque C++ d'algèbre linéaire LinBoxLangages et Modèles à Objet (LMO'06), Mar 2006, Nimes, France. p.117-132
Communication dans un congrès
hal-00388393v1
|
|
|
Breaking a monad-comonad symmetry between computational effects[Research Report] arXiV. 2014
Rapport
hal-00941653v1
|
|
|
Patterns for computational effects arising from a monad or a comonad[Research Report] LJK. 2013
Rapport
hal-00868831v2
|
|
|
Decorated proofs for computational effects: Exceptions[Research Report] Université Grenoble Alpes (UGA). 2012
Rapport
hal-00678738v1
|
|
|
Adjunctions for exceptions[Research Report] LJK. 2012
Rapport
hal-00714710v2
|
|
|
States and exceptions considered as dual effects[Research Report] Université Grenoble Alpes. 2011
Rapport
hal-00445873v4
|
|
|
Sequential products in effect categories[Research Report] Université Grenoble Alpes (UGA). 2007
Rapport
hal-00161303v1
|