J. Funct. Program.

Keyphrases

Publications

volume 33, 2023

Jonathan Chan, Yufeng Li, William J. Bowman
Is sized typing for Coq practical? J. Funct. Program. 33 (2023)
Paul Downen, Zena M. Ariola
Classical (co)recursion: Mechanics. J. Funct. Program. 33 (2023)
Olivier Danvy
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM. J. Funct. Program. 33 (2023)
Olivier Danvy
Folding left and right matters: Direct style, accumulators, and continuations. J. Funct. Program. 33 (2023)

volume 32, 2022

volume 31, 2021