| Title | Authors | Presentation site | Time in Indianapolis | Time in Paris |
|---|---|---|---|---|
| A Radically Elementary Probabilistic Lambda-Calculus | Raphaëlle Crubillé, Loïs Michel, Luigi Santocanale | Remote | 5:00-5:30 | 11:00-11:30 |
| Repeatedly Handling Rejection | Sina Schäfer, Philipp Schuster | Paris | 5:30-6:00 | 11:30-12:00 |
| Concurrent monads, clones, pomsets and their relationship | Sergey Goncharov, Cristina Matache, Hugo Paquet | Paris | 6:00-6:30 | 12:00-12:30 |
| (Break) | 6:30-9:00 | 12:30-15:00 | ||
| Teaching Effect Handlers in the Wild | Jiří Beneš | Paris | 9:00-9:30 | 15:00-15:30 |
| Experience Report: Graph Rewriting with Lexical Effect Handlers | Marvin Borner | Paris | 9:30-10:00 | 15:30-16:00 |
| Higher-order fork, modally | Aghilas Boussaa, Wenhao Tang, Sam Lindley | Paris | 10:00-10:30 | 16:00-16:30 |
| (Break) | 10:30-11:00 | 16:30-17:00 | ||
| Practical Extensions for Graded Monads | Zachery Casey, Marco Gaboardi, Shin-ya Katsumata | Indianapolis | 11:00-11:30 | 17:00-17:30 |
| Towards Light-Weight Operational Reasoning for Languages with Binders, Categorically | Sergey Goncharov | Indianapolis | 11:30-12:00 | 17:30-18:00 |
| Orbifoldr: Classifying Wallpaper Groups via Functional Image Analysis in Haskell | Mengxiang Jiang, Shivam Sharma | Remote | 12:00-12:30 | 18:00-18:30 |
| (Break) | 12:30-14:00 | 18:30-20:00 | ||
| Modular Storage Mode Analysis | Martin Elsman | Indianapolis | 14:00-14:30 | 20:00-20:30 |
| Synthesizing Runners Using Copatterns | Anmol Sahoo, Suresh Jagannathan | Indianaplis | 14:30-15:00 | 20:30-21:00 |
| A Logical Perspective on Capturing Types | Yichen Xu | Remote | 15:00-15:30 | 21:00-21:30 |
| Closing | 15:30-15:35 | 21:30-21:35 |
-
-
Save skymountain/17037f906e896ec9377b5f291682a8c2 to your computer and use it in GitHub Desktop.
HOPE 2026 Program
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment