Catamorphism generation and fusion using Coq

Type de document :
Communication dans un congrès
IEEE. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania. 2014, 〈http://synasc.ro/2014〉
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-01105119, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

80