| 2026 | Inferring Typing Rules for Contextual Sugars. | Tailai Yu, Zhichao Guan, Di Wang, Zhenjiang Hu |
| 2026 | Revisiting the Evolution of Effects (Invited Talk). | Nicolas Wu |
| 2026 | Staging Effect Handlers for Modular Search. | Alexandru Trifanov, Tom Schrijvers |
| 2026 | Hole Refinements for Polymorphic Type-and-Example Driven Synthesis. | Niek Mulleners, Johan Jeuring, Wouter Swierstra |
| 2026 | Towards Lightweight and Efficient Choreographic Cloud Services. | Alex Ionescu, Alejandro Russo |
| 2026 | Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations. | Sean Kristian Remond Harbo, Hans Httel |
| 2025 | The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract). | Satnam Singh |
| 2025 | A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract). | Brigitte Pientka |
| 2025 | Typed Program Analysis without Encodings. | Barry Jay |
| 2025 | Characterizations of Partial Well-Behaved Lenses. | Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi |
| 2025 | The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk). | William J. Bowman |
| 2025 | A Type Safe Calculus for Generating Syntax-Directed Editors. | Benjamin Bennetzen, Nikolaj Rossander Kristensen, Andreas Tor Mortensen, Peter Buus Steffensen, Sune Skaanning Engtorp, Hans Httel |
| 2025 | Algebraic Stepper for Simple Modules. | Kenichi Asai, Hinano Akiyama |
| 2024 | A Case Study in Functional Conversion and Mode Inference in miniKanren. | Ekaterina Verbitskaia, Igor Engel, Daniil Berezun |
| 2024 | An Intrinsically Typed Compiler for Algebraic Effect Handlers. | Syouki Tsuyama, Youyou Cong, Hidehiko Masuhara |
| 2024 | Ownership Types for Verification of Programs with Pointer Arithmetic. | Izumi Tanaka, Ken Sakayori, Naoki Kobayashi |
| 2024 | The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). | Peter Sestoft, Harald Sndergaard |
| 2024 | A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution). | Alberto Pettorossi, Maurizio Proietti, Fabio Fioravanti, Emanuele De Angelis |
| 2024 | Partial Evaluation of Reversible Flowchart Programs. | Louis Normann, Robert Glck |
| 2024 | Incremental Computation: What Is the Essence? (Invited Contribution). | Yanhong A. Liu |
| 2024 | In memoriam Neil Deaton Jones. | Fritz Henglein |
| 2024 | Productivity Verification for Functional Programs by Reduction to Termination Verification. | Ren Fukaishi, Naoki Kobayashi, Ryosuke Sato |
| 2024 | The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution). | Dines Bjrner |
| 2024 | Scoped and Typed Staging by Evaluation. | Guillaume Allais |
| 2024 | Complete Stream Fusion for Software-Defined Radio. | Tomoaki Kobayashi, Oleg Kiselyov |