Conference Papers
Year : 2014
Frédéric Loulergue : Connect in order to contact the contributor
https://inria.hal.science/hal-01105119
Submitted on : Monday, January 19, 2015-5:37:53 PM
Last modification on : Saturday, June 25, 2022-10:12:43 AM
Dates and versions
Identifiers
- HAL Id : hal-01105119 , version 1
Cite
Simon Robillard. Catamorphism generation and fusion using Coq. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania. ⟨hal-01105119⟩
Collections
73
View
0
Download