| 2026 | Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations. Sean Kristian Remond Harbo, Hans Hüttel |
| 2026 | Hole Refinements for Polymorphic Type-and-Example Driven Synthesis. Niek Mulleners, Johan Jeuring, Wouter Swierstra |
| 2026 | Inferring Typing Rules for Contextual Sugars. Tailai Yu, Zhichao Guan, Di Wang, Zhenjiang Hu |
| 2026 | Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2026, Rennes, France, January 11-17, 2026 Yukiyoshi Kameyama, Ningning Xie |
| 2026 | Revisiting the Evolution of Effects (Invited Talk). Nicolas Wu |
| 2026 | Staging Effect Handlers for Modular Search. Alexandru Trifanov, Tom Schrijvers |
| 2026 | Towards Lightweight and Efficient Choreographic Cloud Services. Alex Ionescu, Alejandro Russo |