Staged Effects and Handlers for Modular Languages with Abstraction

This repository contains the supporting artefact for the PEPM '21 short paper submission titled: Staged Effects and Handlers for Modular Languages with Abstraction (PDF).

Clickable HTML

Click here to start exploring the code in Clickable HTML.

Check out Staged.Lang for a modular implementation of the object language introduced in the paper.

Running the Code

If you're familiar with Agda: Everything.agda is a good place to start exploring the code.

Otherwise, run agda src/Everything.agda to check all definitions. See Agda's documentation for more information on how to check Agda files.