1. Classical (co)recursion: Mechanics. (4th April 2023) Authors: DOWNEN, PAUL; ARIOLA, ZENA M. 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. 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) ↗
3. 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) ↗
4. Is sized typing for Coq practical?. (24th January 2023) Authors: CHAN, JONATHAN; LI, YUFENG; BOWMAN, WILLIAM J. 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) ↗