IEEE. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania. 2014, 〈http://synasc.ro/2014〉
https://hal.inria.fr/hal-01105119
Contributeur : Frédéric Loulergue
<>
Soumis le : lundi 19 janvier 2015 - 17:37:53
Dernière modification le : lundi 9 mars 2015 - 11:42:55
Simon Robillard. Catamorphism generation and fusion using Coq. IEEE. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania. 2014, 〈http://synasc.ro/2014〉. 〈hal-01105119〉
