JFP 2022

17 papers

1. A well-known representation of monoids and its application to the function 'vector reverse' · Wouter Swierstra
2. ANF preserves dependent types up to extensional equality · Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman
3. Back to futures · Klaas Pruiksma, Frank Pfenning
4. Denotational semantics as a foundation for cost recurrence extraction for functional languages · Norman Danner, Daniel R. Licata
5. Editorial · Jeremy Gibbons, Shriram Krishnamurthi
6. Extracting functional programs from Coq, in Coq · Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
7. Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant · Olivier Danvy
8. Fregel: a functional domain-specific language for vertex-centric large-scale graph processing · Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu
9. Iterating on multiple collections in synchrony · Stefano Perna, Val Tannen, Limsoon Wong
10. Migrating gradual types · John Peter Campora III, Sheng Chen, Martin Erwig, Eric Walkingshaw
11. Modal FRP for all: Functional reactive programming without space leaks in Haskell · Patrick Bahr
12. On being a PhD student of Robert Harper · Derek Dreyer, Benjamin C. Pierce
13. PhD Abstracts · Graham Hutton
14. PhD Abstracts · Graham Hutton
15. PhD Abstracts · Graham Hutton
16. Send to me first: Priority in synchronous message-passing · Cheng-En Chuang, Grant Iraci, Lukasz Ziarek
17. Super-naturals · Ralf Hinze, Colin Runciman