Projects per year
Abstract / Description of output
Plotkin and Pretnar’s effect handlers offer a versatile abstraction for modular programming with user-defined effects. Traditional deep handlers are defined by folds over computation trees. In this paper we study shallow handlers, defined instead by case splits over computation trees. We show that deep and shallow handlers can simulate one another up to specific notions of administrative reduction. We present the first formal accounts of an abstract machine for shallow handlers and a Continuation Passing Style (CPS) translation for shallow handlers taking special care to avoid memory leaks. We provide implementations in the Links web programming language and empirically verify that neither implementation introduces unwarranted memory leaks.
Original language | English |
---|---|
Title of host publication | Proceedings of 16th Asian Symposium on Programming Languages and Systems (APLAS) 2018 |
Place of Publication | Wellington, New Zealand |
Publisher | Springer |
Pages | 415-435 |
Number of pages | 20 |
ISBN (Electronic) | 978-3-030-02768-1 |
ISBN (Print) | 978-3-030-02767-4 |
DOIs | |
Publication status | E-pub ahead of print - 22 Oct 2018 |
Event | 16th Asian Symposium on Programming Languages and Systems - Wellington, New Zealand Duration: 2 Dec 2018 → 6 Dec 2018 http://aplas2018.org/ |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer, Cham |
Volume | 11275 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Name | Programming and Software Engineering |
---|---|
Volume | 11275 |
Conference
Conference | 16th Asian Symposium on Programming Languages and Systems |
---|---|
Abbreviated title | APLAS 2018 |
Country/Territory | New Zealand |
City | Wellington |
Period | 2/12/18 → 6/12/18 |
Internet address |
Fingerprint
Dive into the research topics of 'Shallow Effect Handlers'. Together they form a unique fingerprint.Projects
- 1 Finished
-
From Data Types to Session Types - A Basis for Concurrency and Distribution
20/05/13 → 19/11/20
Project: Research