J. Funct. Program.

Keyphrases

Publications

volume 34, 2024

volume 33, 2023

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

volume 32, 2022

volume 31, 2021