HOPE 2026
who it's for
programming language researchers, language designers, pl implementers, compiler engineers, functional programmers, language-tooling engineers, educators in programming languages
topics
Haskell functional image analysis; lexical effect handlers; graph rewriting with interaction combinators; modal effect types for fork; synthesizing runners from copatterns; graded monads with Kleene algebra; free monad operational semantics; modular storage mode analysis; region inference and region flow; combinatory lambda calculus substitution; capability passing vs lexical scoping; teaching effect handlers course
| title | author | length |
|---|---|---|
| Orbifoldr: Classifying Wallpaper Groups via Functional Image Analysis in Haskell | Mengxiang Jiang, Shivam Sharma | 29m |
Orbifoldr is a Haskell pipeline that represents images as functions Coord -> Color, uses Conway’s orbifold notation to test symmetry by composing geometric… | ||
| Experience Report: Graph Rewriting with Lexical Effect Handlers | Marvin Borner | 32m |
A web and CLI graph-rewriting system implemented in Effekt compiles source (lambda or interaction calculus) into interaction combinators, runs a streaming… | ||
| Higher-order fork, modally | Aghilas Boussaa, Wenhao Tang, Sam Lindley | 18m |
Proposes a small Met extension that types a higher-order fork without effect variables by adding order-sensitive effect contexts and a notion of higher-order… | ||
| Teaching Effect Handlers in the Wild | Jiří Beneš | 25m |
Course runs twice (2024–25) with cohorts of ~10–15, five 90‑minute lectures, five homework sets and a 100‑hour final project using the Effekt language… | ||
| Synthesizing Runners Using Copatterns | Anmol Sahoo, Suresh Jagannathan | 26m |
Deductive synthesis produces an adapter (runner) from coinductive copatterns specifications that filters environment behaviors into client-expected traces; the… | ||
| Practical Extensions for Graded Monads | Zachery Casey, Marco Gaboardi, Shin-ya Katsumata | 27m |
Extends graded monads by indexing grades with typed Kleene algebra (regular-language-style operations) and gives an operational semantics via the free monad… | ||
| Modular Storage Mode Analysis | Martin Elsman | 34m |
Claims a modular storage mode analysis that works across compilation units and is now adopted in MLKit, replacing the old conservative local analysis… | ||
| Towards Light-Weight Operational Reasoning for Languages with Binders, Categorically | Sergey Goncharov | 28m |
Proposes representing substitution as a runtime operator by translating lambda calculus into a new combinatory lambda calculus with an operator for each lambda… | ||
| nothing matches | ||