Program-ing finger trees in C <scp>oq</scp>
From MaRDI portal
Publication:5168921
DOI10.1145/1291151.1291156zbMath1291.68157OpenAlexW2077213360MaRDI QIDQ5168921
Publication date: 21 July 2014
Published in: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1291151.1291156
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Strongly typed term representations in Coq ⋮ Extraction in Coq: An Overview ⋮ Unnamed Item ⋮ The \textsc{MetaCoq} project ⋮ A Verified LL(1) Parser Generator ⋮ Mechanically certifying formula-based Noetherian induction reasoning
Uses Software
This page was built for publication: Program-ing finger trees in C <scp>oq</scp>