- 6
- 2
- 1
Jean-Guillaume Dumas
Professeur à l'UGA, directeur du LJK
9
Documents
Site web
- https://membres-ljk.imag.fr/Jean-Guillaume.Dumas
Publications
- 9
- 6
- 6
- 2
- 1
- 1
- 1
- 1
- 5
- 2
- 1
- 9
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
|
|
|
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
|
|
Simultaneous Modular Reduction and Kronecker Substitution for Small Finite FieldsJournal of Symbolic Computation, 2011, 46 (7), pp.823-840. ⟨10.1016/j.jsc.2010.08.015⟩
Article dans une revue
hal-00315772v1
|
|
Recursive double-size fixed precision arithmeticICMS: International Congress of Mathematical Software, Jul 2016, Berlin, Germany. pp.223--231, ⟨10.1007/978-3-319-42432-3_28⟩
Communication dans un congrès
hal-00582593v2
|
Decorated proofs for computational effects: StatesACCAT, 2012, -, Estonia
Communication dans un congrès
hal-00828544v1
|
|
|
Compressed Modular Matrix MultiplicationMICA'2008 - Milestones in Computer Algebra, May 2008, Tobago, Trinidad and Tobago. pp.133-140
Communication dans un congrès
hal-00259950v2
|
|
Adjunctions for exceptions[Research Report] LJK. 2012
Rapport
hal-00714710v2
|
|
Decorated proofs for computational effects: Exceptions[Research Report] Université Grenoble Alpes (UGA). 2012
Rapport
hal-00678738v1
|
|
States and exceptions considered as dual effects[Research Report] Université Grenoble Alpes. 2011
Rapport
hal-00445873v4
|