Skip to Main content Skip to Navigation
Conference papers

Catamorphism generation and fusion using Coq

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01105119
Contributor : Frédéric Loulergue <>
Submitted on : Monday, January 19, 2015 - 5:37:53 PM
Last modification on : Tuesday, December 8, 2020 - 9:48:17 AM

Identifiers

  • HAL Id : hal-01105119, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

145