Program-ing finger trees in Coq
Abstract
International audience
DOI 10.1145/1291151.1291156
Related papers
- Finger trees explained anew, and slightly simplified (functional pearl) Haskell 2020
- Finger trees: a simple general-purpose data structure JFP 2006
- Purely Functional 1-2 Brother Trees JFP 2009
- Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General APLAS 2018
- Lightweight semiformal time complexity analysis for purely functional data structures POPL 2008
- Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad Haskell 2025
- FP²: Fully in-Place Functional Programming ICFP 2023
- Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq POPL 2023