Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
A General Fine-Grained Reduction Theory for Effect Handlers
Proceedings of the ACM on Programming Languages (PACMPL), Volume 7, Issue ICFPArticle No.: 206, Pages 511–540https://doi.org/10.1145/3607848Effect handlers are a modern and increasingly popular approach to structuring computational effects in functional programming languages. However, while their traditional operational semantics is well-suited to implementation tasks, it is less ideal as a ...
Abstracting algebraic effects
Proceedings of the ACM on Programming Languages (PACMPL), Volume 3, Issue POPLArticle No.: 6, Pages 1–28https://doi.org/10.1145/3290319Proposed originally by Plotkin and Pretnar, algebraic effects and their handlers are a leading-edge approach to computational effects: exceptions, mutable state, nondeterminism, and such. Appreciated for their elegance and expressiveness, they are now ...
Handle with care: relational interpretation of algebraic effects and handlers
Proceedings of the ACM on Programming Languages (PACMPL), Volume 2, Issue POPLArticle No.: 8, Pages 1–30https://doi.org/10.1145/3158096Algebraic effects and handlers have received a lot of attention recently, both from the theoretical point of view and in practical language design. This stems from the fact that algebraic effects give the programmer unprecedented freedom to define, ...
- research-articleJanuary 2016
Memoryful geometry of Interaction II: recursion and adequacy
POPL '16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesPages 748–760https://doi.org/10.1145/2837614.2837672A general framework of Memoryful Geometry of Interaction (mGoI) is introduced recently by the authors. It provides a sound translation of lambda-terms (on the high-level) to their realizations by stream transducers (on the low-level), where the ...
Also Published in:
ACM SIGPLAN Notices: Volume 51 Issue 1 - research-articleJuly 2014
Memoryful geometry of interaction: from coalgebraic components to algebraic effects
CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)Article No.: 52, Pages 1–10https://doi.org/10.1145/2603088.2603124Girard's Geometry of Interaction (GoI) is interaction based semantics of linear logic proofs and, via suitable translations, of functional programs in general. Its mathematical cleanness identifies essential structures in computation; moreover its use ...