ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
Mon 2 Sep 2024 14:00 - 14:30 at Orange 2 - Session 2

We propose a collection of instructions for an abstract assembly language, AsmFX, to capture the processor-level control-flow requirements of effect handlers. These half-dozen instructions are sufficient to directly implement various kinds of effect handlers on top of a conventional machine architecture.

Slides (AsmFX - presentation.pdf)896KiB
Extended abstract (asmfx.pdf)458KiB

Mon 2 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Session 2HOPE at Orange 2
14:00
30m
Talk
Effectful Assembly Programming with AsmFX
HOPE
Brian Campbell University of Edinburgh, Sam Lindley University of Edinburgh, Wilmer Ricciotti University of Edinburgh, UK, Ian Stark The University of Edinburgh
File Attached
14:30
30m
Talk
Logical Relations for Effect Capabilities
HOPE
Patrycja Balik University of Wrocław, Piotr Polesiuk University of Wrocław
15:00
30m
Talk
Paella: algebraic effects with parameters and their handlers
HOPE
Jesse Sigal University of Edinburgh, Ohad Kammar University of Edinburgh, Cristina Matache University of Edinburgh, Conor McBride University of Strathclyde
Media Attached File Attached