JFP 2019

20 papers

1. A SQL to C compiler in 500 lines of code · Tiark Rompf, Nada Amin
2. A relational logic for higher-order programs · Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
3. A theory of RPC calculi for client-server model · Kwanghoon Choi, Byeong-Mo Chang
4. COCHIS: Stable and coherent implicits · Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian
5. Constructive Galois Connections · David Darais, David Van Horn
6. Emerging languages: An alternative approach to teaching programming languages · Saverio Perugini
7. Folding left and right over Peano numbers · Olivier Danvy
8. Gradual session types · Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
9. How to evaluate the performance of gradual type systems · Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek + 1 more
10. How to find a fake coin · Richard S. Bird
11. How to prove decidability of equational theories with second-order computation analyser SOL · Makoto Hamana
12. On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control · Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
13. POPLMark reloaded: Mechanizing proofs by logical relations · Andreas Abel, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer + 1 more
14. Perturbation confusion in forward automatic differentiation of higher-order functions · Oleksandr Manzyuk, Barak A. Pearlmutter, Alexey Andreyevich Radul, David R. Rush, Jeffrey Mark Siskind
15. PhD Abstracts · Graham Hutton
16. PhD Abstracts · Graham Hutton
17. Pure iso-type systems · Yanpeng Yang, Bruno C. d. S. Oliveira
18. Review of "The Haskell School of Music: from Signals to Symphonies, " by Paul Hudak and Donya Quick, Cambridge University Press, 2018 · Roger B. Dannenberg
19. The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus · Álvaro García-Pérez, Pablo Nogueira
20. The verified CakeML compiler backend · Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar, Anthony C. J. Fox, Scott Owens, Michael Norrish