On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control

<p>We compare the expressive power of three programming abstractions for user-defined computational effects: Plotkin and Pretnar's effect handlers, Filinski's monadic reflection, and delimited control without answer-type-modification. This comparison allows a precise discussion abou...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Forster, Y, Kammar, O, Lindley, S, Pretnar, M
Format:	Journal article
Udgivet:	Association for Computing Machinery (ACM) 2017
Fag:	operational semantics theory of computation: control primitives denotational semantics functional constructs categorical semantics type structures

Lignende værker

[Supporting material] On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
af: Pretnar, M
Udgivet: (2017)

LEXICAL AND SEMANTIC CLASSIFICATION OF THE RUSSIAN VERBS DENOTING LIGHT
af: Zh. Yu. Polezhaeva
Udgivet: (2014-02-01)

Affectedness: Observations on Turkish
af: Pınar İBE AKCAN
Udgivet: (2024-06-01)

Denotative and connotative analysis on Elia Pettie’s short story
af: Nur Nabilah Fauziyah, et al.
Udgivet: (2020-06-01)

Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'
af: Pretnar, M
Udgivet: (2016)

СПЕЦИФИКА ОПЕРИРОВАНИЯ СЕМАНТИКОЙ УМСТВЕННО ОТСТАЛЫХ ЛИЦ
af: Elena Anatolievna Steblyak
Udgivet: (2015-09-01)

THE SEMANTIC STRUCTURE OF LANDSCAPE TERMS IN GERMAN FOLK TEXTS (A CASE STUDY OF FAIRY TALES, PROVERBS AND SAYINGS)
af: Rakitina Olga Nikolaevna
Udgivet: (2014-11-01)

Paradox of Expressing the Inexpressible: Review (Mikhailova, M. Yu. (2017). Semantics of Inexpressible in Language and Speech. Samara: SGSPU. 244 p.)
af: A. K. Zhumabekova
Udgivet: (2018-05-01)

System relations in Russian vocabulary as a reflection of the mechanism of knowledge categorization
af: N. A. Ilyukhina
Udgivet: (2023-12-01)

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
af: Shi, Ling, et al.
Udgivet: (2020)

Anna Wierzbicka, Words and the World
af: Anna N Gladkova, et al.
Udgivet: (2018-12-01)

‘Neopredeljonnyj’ [Indefinite] vs. ‘Neulovimyj’ [Elusive] in Aspect of Categorical Perception
af: L. V. Kalinina
Udgivet: (2023-09-01)

Flexible recruitment of semantic richness: Context modulates body-object interaction effects in lexical-semantic processing
af: Cody eTousignant, et al.
Udgivet: (2012-03-01)

The Neural Correlates of the Body-Object Interaction Effect in Semantic Processing
af: Ian Scott Hargreaves, et al.
Udgivet: (2012-02-01)

Cross-linguistic categorization of throwing events: A behavioral approach
af: Wang, Haoshu, et al.
Udgivet: (2017)

Research on semantics of trust transitivity in cryptographic primitives
af: WANG Li-cheng1, et al.
Udgivet: (2008-01-01)

Research on semantics of trust transitivity in cryptographic primitives
af: WANG Li-cheng1, et al.
Udgivet: (2008-01-01)

Structural foundations for differentiable programming
af: Huot, M
Udgivet: (2022)

Concrete sheaf models of higher-order recursion
af: Matache, C
Udgivet: (2022)

A Semantic Change Model for French Loanwords in Persian
af: Azadeh Sharifi MOGHADDAM
Udgivet: (2013-12-01)

Technical Creativity, Material Engagement and the (Controversial) Role of Language
af: Pietro Montani
Udgivet: (2019-11-01)

Sense and reference in the process of nomination
af: Aleshkevich Sergey S.
Udgivet: (2018-06-01)

Knowledge Model Based on Graphical Semantic Perception
af: Jian Liu, et al.
Udgivet: (2015-12-01)

On Language Adequacy
af: Wybraniec-Skardowska Urszula
Udgivet: (2015-03-01)

The Semantic Similarity Effect on Short-Term Memory: Null Effects of Affectively Defined Semantic Similarity
af: Sho Ishiguro, et al.
Udgivet: (2024-02-01)

On the non-compositionality of monads via distributive laws
af: Zwart, M
Udgivet: (2020)

INVISIBLE TURKISMS IN THE OLZHAS SULEIMENOV’S BOOK “AZ I YA”: A PHILOLOGICAL ESSAY
af: Elena Alexandrovna Krasina
Udgivet: (2018-12-01)

Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion
af: Roussanka LOUKANOVA
Udgivet: (2016-12-01)

Formanty kategorialne – ich miejsce w (semantycznej i formalnej) strukturze języka
af: Zuzanna Topolińska
Udgivet: (2018-12-01)

Graded hyponymy for compositional distributional semantics
af: Dea Bankova, et al.
Udgivet: (2019-03-01)

The visualization of a graph semantics of imperative languages
af: William Steingartner, et al.
Udgivet: (2021-01-01)

Neural dynamics of semantic categorization in semantic variant of primary progressive aphasia
af: V Borghesani, et al.
Udgivet: (2021-06-01)

Automatic detection of semantic primitives using optimization based on genetic algorithm
af: Yevhen Kostiuk, et al.
Udgivet: (2023-04-01)

Nomes próprios gerais no contexto da semântica de J. S. Mill General proper names in the context of Stuart Mill´s semantic
af: Lúcio Lourenço Prado
Udgivet: (2005-01-01)

THE SEMANTIC OF THE RUSSIAN VERBS DENOTING LIGHT
af: Zh. Yu. Polezhaeva
Udgivet: (2014-02-01)

Semantic Analysis of Proverbs: A Conversation Analysis
af: ا.م .نغم علي حسن
Udgivet: (2022-09-01)

Lexical Representation of Knowledge about a Human Being in English
af: Tatiana Golechkova
Udgivet: (2015-09-01)

Lexico-Semantic Group “Clothes” in Modern Russian Language: Theoretical and Methodical Guidelines
af: Inga Yu. Abramova
Udgivet: (2019-03-01)

Сognitive mechanisms of semantic adaptation of borrowings in Russian
af: Vadim A. Belov, et al.
Udgivet: (2025-01-01)

The Processing of Visual and Phonological Configurations of Chinese One- and Two-Character Words in a Priming Task of Semantic Categorization
af: Bosen eMa, et al.
Udgivet: (2016-01-01)