1. Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant – ERRATUM. (6th March 2023) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 33(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Folding left and right matters: Direct style, accumulators, and continuations. (14th February 2023) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 33(2023) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Folding left and right over Peano numbers. (17th April 2019) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Folding left and right over Peano numbers. (2019) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant. (29th September 2022) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 32(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗