JFP 2024

16 papers

1. A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020) · Michael Sperber
2. A simple blame calculus for explicit nulls · Ondrej Lhoták, Philip Wadler
3. Algebraic effects and handlers for arrows · Takahiro Sanada
4. Alice or Bob?: Process polymorphism in choreographies · Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
5. An example of goal-directed, calculational proof · Roland Carl Backhouse, Walter Guttmann, Michael Winter
6. Asymptotic speedup via effect handlers · Daniel Hillerström, Sam Lindley, John Longley
7. Bottom-up computation using trees of sublists · Shin-Cheng Mu
8. From high to low: Simulating nondeterminism and state with state · Wenhao Tang, Tom Schrijvers
9. Knuth-Morris-Pratt illustrated · Cameron Moy
10. PhD Abstracts · Graham Hutton
11. Programming and reasoning about actors that share state · Samuel Caldwell, Tony Garnock-Jones, Matthias Felleisen
12. Review of "Real World OCaml: Functional Programming for the Masses" Second Edition, by Yaron Minsky and Anil Madhavapeddy, 2023 · François Pottier
13. Signature restriction for polymorphic algebraic effects · Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi
14. Sparcl: A language for partially invertible computation · Kazutaka Matsuda, Meng Wang
15. Static Blame for gradual typing · Chenghao Su, Lin Chen, Yanhui Li, Yuming Zhou
16. Type-directed operational semantics for gradual typing · Wenjia Ye, Bruno C. d. S. Oliveira