EHOP Workshop 2025
The EHOP (effect handler oriented programming) workshop takes place from Sunday August 17 to Wednesday August 20, 2025 at Newbattle Abbey College, near Edinburgh. This informal workshop will be centred around the themes of the EHOP project.
Travel information
- Where: Newbattle Abbey, Newbattle Road, Dalkeith, EH22 3LL, UK
- Arrival: from 16:30 Sunday August 17, 2025
- Departure: after lunch Wednesday August 20, 2025
Newbattle Abbey College is reachable from Edinburgh by bus or train.
Check out is by 9 am. Please hand your key and access fobs back to reception or place these in the key deposit box located in the residency box.
Breakfast and dinner are served in the Dining Room. All other meals and breaks will be served in the Mezzanine area. We can use all communal areas, including the Crypt to mingle and socialise. On Monday and Tuesday, we may use the main building until 21:30h.
Programme
Sunday August 17, 2025
- From 16:30 — Arrival
- 18:00 — Dinner
Monday August 18, 2025
- 8:00–9:00 — Breakfast
- 9:00–9:45 — EHOP introduction and introductions (Sam Lindley)
- 9:45–10:30 — Modal effect types (Wenhao Tang) [slides]
- 10:30–11:00 — Coffee Break
- 11:00–11:45 — Dynamic threads via algebraic effects (Cristina Matache) [slides]
- 11:45–12:30 — Optimising effect handlers (Jonathan Brachthäuser)
- 12:30–14:00 — Lunch
- 14:00–15:30 — Breakout sessions: PAT, MODE, SPEED
- 15:30–16:00 — Coffee Break
- 18:00 — Dinner
Tuesday August 19, 2025
- 8:00–9:00 — Breakfast
- 9:00–9:45 — UCFX (Jesse Sigal)
- 9:45–10:30 — AsmFX (Wilmer Ricciotti)
- 10:30–11:00 — Coffee Break
- 11:00–11:45 — Wizard and WasmFX (Ben Titzer)
- 11:45–12:30 — Effing W (Conor McBride) [code]
- 12:30–14:00 — Lunch
- 14:00–15:30 — Breakout sessions: LEO, UCFX, SPEED 2.0
- 15:30–16:00 — Coffee Break
- 18:00 — Dinner
Wednesday August 20, 2025
- 8:00–9:00 — Breakfast
- 9:00–9:45 — The Monadic Profunctor Paradigm of Bidirectional Programming (Sam Frohlich) [slides]
- 9:45–10:30 — Higher-order asynchronous effects (Danel Ahman) [slides]
- 10:30–11:00 — Coffee Break
- 11:30–12:30 — Handlers for parameterized effects (Jack Liell-Cock)
- 12:30–14:00 — Lunch
- From 14:00 — Departure
Attendees
- Amy Yin
- Ben Titzer
- Bob Atkey
- Brian Campbell
- Conor McBride
- Danel Ahman
- Daniel Hillerström
- Jack Liell-Cock
- Jesse Sigal
- J. Garrett Morris
- Jonathan Brachthäuser
- Magnus Morton
- Mario Alvarez-Picallo
- Markulf Kohlweiss
- Matija Pretnar
- Maxime Legoupil
- Ohad Kammar
- Pooya Farshim
- Sabine Oechsner
- Samantha Frohlich
- Sean Moss
- Teodoro Freund
- Wilmer Ricciotti
- Zhixuan Yang
The organisers of the EHOP workshop are
- Sam Lindley
- Anton Lorenzen
- Cristina Matache
- Wenhao Tang
Acknowledgements
The EHOP workshop 2025 is sponsored by the UKRI Future Leaders Fellowship (MR/Z000351/1) grant.