Lexical Effect Handlers, Directly

Lexically scoping effect handlers is a language-design idea that equips algebraic effects with a modular semantics: it enables local-reasoning principles without giving up on the control-flow expressiveness that makes effect handlers powerful. However, we observe that existing implementations risk i...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of ACM on programming languages Vol. 8; no. OOPSLA2; pp. 1670 - 1698
Main Authors:	Ma, Cong, Ge, Zhaoyi, Lee, Edward, Zhang, Yizhou
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 08.10.2024
Subjects:	Assembly languages Compilers Concurrent programming structures Control primitives Control structures Coroutines Formal language definitions Functional constructs Functional languages Operational semantics Software and its engineering Theory of computation Salt Lexa effect handlers continuations compiler correctness stack switching Algebraic effects
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!