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

书目详细资料
Main Authors:	Forster, Y, Kammar, O, Lindley, S, Pretnar, M
格式:	Journal article
出版:	Association for Computing Machinery (ACM) 2017
主题:	operational semantics theory of computation: control primitives denotational semantics functional constructs categorical semantics type structures

相似书籍

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

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

Affectedness: Observations on Turkish
由: Pınar İBE AKCAN
出版: (2024-06-01)

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

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

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

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

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

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

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

Anna Wierzbicka, Words and the World
由: Anna N Gladkova, et al.
出版: (2018-12-01)

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

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

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

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

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

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

Structural foundations for differentiable programming
由: Huot, M
出版: (2022)

Concrete sheaf models of higher-order recursion
由: Matache, C
出版: (2022)

A Semantic Change Model for French Loanwords in Persian
由: Azadeh Sharifi MOGHADDAM
出版: (2013-12-01)

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

Sense and reference in the process of nomination
由: Aleshkevich Sergey S.
出版: (2018-06-01)

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

On Language Adequacy
由: Wybraniec-Skardowska Urszula
出版: (2015-03-01)

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

On the non-compositionality of monads via distributive laws
由: Zwart, M
出版: (2020)

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

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

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

Graded hyponymy for compositional distributional semantics
由: Dea Bankova, et al.
出版: (2019-03-01)

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

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

Automatic detection of semantic primitives using optimization based on genetic algorithm
由: Yevhen Kostiuk, et al.
出版: (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
由: Lúcio Lourenço Prado
出版: (2005-01-01)

THE SEMANTIC OF THE RUSSIAN VERBS DENOTING LIGHT
由: Zh. Yu. Polezhaeva
出版: (2014-02-01)

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

Lexical Representation of Knowledge about a Human Being in English
由: Tatiana Golechkova
出版: (2015-09-01)

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

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

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