JFP 2026

12 papers

1. A simple and efficient implementation of strong call by need by an abstract machine · Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
2. Adapting the MVVM pattern to C++ frontends and Agda-based backends · Viktor Csimma
3. Don't exhaust, don't waste: Resource-aware soundness for big-step semantics · Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca
4. Etna: An evaluation platform for property-based testing · Alperen Keles, Jessica Shi, Nikhil Kamath, Tin Nam Liu, Ceren Mert, Harrison Goldstein + 2 more
5. Higher-order bialgebraic semantics · Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
6. Longest r-chain: thinning by grouping · Alexander Dinges, Ralf Hinze
7. Mixing visual and textual code · Leif Andersen, Michael Ballantyne, Cameron Moy, Matthias Felleisen, Stephen Chang
8. Modular models of monoids with operations by lifting functors along fibrations · Zhixuan Yang, Nicolas Wu
9. Multi types and reasonable space · Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
10. Polymorphic coverage types · Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
11. Proto-Quipper with dynamic lifting · Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
12. Types, equations, dimensions and the Pi theorem · Nicola Botta, Patrik Jansson