JFP 2023

15 papers

1. A correct-by-construction conversion from lambda calculus to combinatory logic · Wouter Swierstra
2. A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go · Martin Sulzmann, Stefan Wehr
3. Certified, total serialisers with an application to Huffman encoding · Ralf Hinze
4. Classical (co)recursion: Mechanics · Paul Downen, Zena M. Ariola
5. Contract lenses: Reasoning about bidirectional programs via calculation · Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu
6. Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM · Olivier Danvy
7. Folding left and right matters: Direct style, accumulators, and continuations · Olivier Danvy
8. Is sized typing for Coq practical? · Jonathan Chan, Yufeng Li, William J. Bowman
9. Level-p-complexity of Boolean functions using thinning, memoization, and polynomials · Julia Jansson, Patrik Jansson
10. Normalization by evaluation for modal dependent type theory · Jason Z. S. Hu, Junyoung Jang, Brigitte Pientka
11. PhD Abstracts · Graham Hutton
12. PhD Abstracts · Graham Hutton
13. Programming language semantics: It's easy as 1,2,3 · Graham Hutton
14. Read/write factorizable programs · Siddharth Bhaskar, Jakob Grue Simonsen
15. Trace contracts · Cameron Moy, Matthias Felleisen