ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Mon 4 Sep 2023 16:30 - 17:00 at Vashon - HOPE: Session 4 Chair(s): Max S. New

Variable environment is the time-honored way of making sense of free variables, used in programming language theory as well when writing interpreters and some compilers. Algebraic effects give another way, as was pointed already at HOPE 2017. Although a theoretical curiosity, it may have surprising practical benefits: a new way of writing compilers, with easy variable usage, leaf function analyses. This work-in-progress report prototypes and illustrates the idea.

Pre-print (var-effect.pdf)430KiB

Mon 4 Sep

Displayed time zone: Pacific Time (US & Canada) change

16:00 - 17:30
HOPE: Session 4HOPE at Vashon
Chair(s): Max S. New University of Michigan
16:00
30m
Talk
A proof of normalization for effect handlers
HOPE
Wiktor Kuchta University of Wrocław
File Attached
16:30
30m
Talk
Free Variable as Effect, in Practice
HOPE
Oleg Kiselyov Tohoku University
File Attached