ICFP 2023

33 papers

1. A General Fine-Grained Reduction Theory for Effect Handlers · Filip Sieczkowski, Mateusz Pyzik, Dariusz Biernacki
2. A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized · Andreas Abel, Nils Anders Danielsson, Oskar Eriksson
3. Asynchronous Modal FRP · Patrick Bahr, Rasmus Ejlers Møgelberg
4. Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types · Thaïs Baudon, Gabriel Radanne, Laure Gonnord
5. Calculating Compilers for Concurrency · Patrick Bahr, Graham Hutton
6. Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters · Sven Keidel, Sebastian Erdweg, Tobias Hombücher
7. Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) · Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers
8. Dependently-Typed Programming with Logical Equality Reflection · Yiyun Liu, Stephanie Weirich
9. Embedding by Unembedding · Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu
10. Etna: An Evaluation Platform for Property-Based Testing (Experience Report) · Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos
11. Explicit Refinement Types · Jad Elkhaleq Ghalayini, Neel Krishnaswami
12. FP²: Fully in-Place Functional Programming · Anton Lorenzen, Daan Leijen, Wouter Swierstra
13. Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) · Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright + 1 more
14. Formal Specification and Testing for Reinforcement Learning · Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski
15. Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc · Alex Hubers, J. Garrett Morris
16. HasChor: Functional Choreographic Programming for All (Functional Pearl) · Gan Shen, Shun Kashiwa, Lindsey Kuper
17. Higher-Order Property-Directed Reachability · Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato
18. How to Evaluate Blame for Gradual Types, Part 2 · Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas
19. Intrinsically Typed Sessions with Callbacks (Functional Pearl) · Peter Thiemann
20. LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) · Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin + 1 more
21. MacoCaml: Staging Composable and Compilable Macros · Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop
22. Modular Models of Monoids with Operations · Zhixuan Yang, Nicolas Wu
23. Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification · Son Ho, Aymeric Fromherz, Jonathan Protzenko
24. More Fixpoints! (Functional Pearl) · Joachim Breitner
25. Reflecting on Random Generation · Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce
26. Special Delivery: Programming with Mailbox Types · Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
27. The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming · Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers + 2 more
28. Timely Computation · Conal Elliott
29. Trustworthy Runtime Verification via Bisimulation (Experience Report) · Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins
30. Typing Records, Maps, and Structs · Giuseppe Castagna
31. Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols · Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal
32. What Happens When Students Switch (Functional) Languages (Experience Report) · Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, Ethel Tshukudu
33. With or Without You: Programming with Effect Exclusion · Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser