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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of ACM on programming languages Ročník 8; číslo OOPSLA2; s. 1670 - 1698
Hlavní autoři:	Ma, Cong, Ge, Zhaoyi, Lee, Edward, Zhang, Yizhou
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 08.10.2024
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!