Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Tue 19 Jan 2021 16:30 - 17:00 at PEPM - Session 4 Chair(s): Jeremy Yallop

This short paper aims to use modular effects to define modular languages with lambda abstraction. We argue that existing approaches to algebraic effects and handlers are not suitable for this challenge. Instead, we propose a new approach that we dub staged effects and handlers. We show how to use our approach to define lambda abstraction in a modular way, and discuss open questions.

Short paper (paper16.pdf)156KiB

Tue 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:30 - 17:30: Session 4PEPM at PEPM
Chair(s): Jeremy YallopUniversity of Cambridge

Live stream: https://www.youtube.com/watch?v=BmBSJFkfL2M

16:30 - 17:00
Staged Effects and Handlers for Modular Languages with Abstraction
Casper Bach PoulsenDelft University of Technology, Cas van der RestDelft University of Technology, Tom SchrijversKU Leuven
File Attached
17:00 - 17:30
Automatic Differentiation via Effects and Handlers: An Implementation in Frank
Jesse SigalUniversity of Edinburgh
File Attached