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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Forster, Y, Kammar, O, Lindley, S, Pretnar, M
Định dạng:	Journal article
Được phát hành:	Association for Computing Machinery (ACM) 2017
Những chủ đề:	operational semantics theory of computation: control primitives denotational semantics functional constructs categorical semantics type structures

Những quyển sách tương tự

[Supporting material] On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
Bằng: Pretnar, M
Được phát hành: (2017)

LEXICAL AND SEMANTIC CLASSIFICATION OF THE RUSSIAN VERBS DENOTING LIGHT
Bằng: Zh. Yu. Polezhaeva
Được phát hành: (2014-02-01)

Affectedness: Observations on Turkish
Bằng: Pınar İBE AKCAN
Được phát hành: (2024-06-01)

Denotative and connotative analysis on Elia Pettie’s short story
Bằng: Nur Nabilah Fauziyah, et al.
Được phát hành: (2020-06-01)

Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'
Bằng: Pretnar, M
Được phát hành: (2016)

СПЕЦИФИКА ОПЕРИРОВАНИЯ СЕМАНТИКОЙ УМСТВЕННО ОТСТАЛЫХ ЛИЦ
Bằng: Elena Anatolievna Steblyak
Được phát hành: (2015-09-01)

THE SEMANTIC STRUCTURE OF LANDSCAPE TERMS IN GERMAN FOLK TEXTS (A CASE STUDY OF FAIRY TALES, PROVERBS AND SAYINGS)
Bằng: Rakitina Olga Nikolaevna
Được phát hành: (2014-11-01)

Paradox of Expressing the Inexpressible: Review (Mikhailova, M. Yu. (2017). Semantics of Inexpressible in Language and Speech. Samara: SGSPU. 244 p.)
Bằng: A. K. Zhumabekova
Được phát hành: (2018-05-01)

System relations in Russian vocabulary as a reflection of the mechanism of knowledge categorization
Bằng: N. A. Ilyukhina
Được phát hành: (2023-12-01)

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
Bằng: Shi, Ling, et al.
Được phát hành: (2020)

Anna Wierzbicka, Words and the World
Bằng: Anna N Gladkova, et al.
Được phát hành: (2018-12-01)

‘Neopredeljonnyj’ [Indefinite] vs. ‘Neulovimyj’ [Elusive] in Aspect of Categorical Perception
Bằng: L. V. Kalinina
Được phát hành: (2023-09-01)

Flexible recruitment of semantic richness: Context modulates body-object interaction effects in lexical-semantic processing
Bằng: Cody eTousignant, et al.
Được phát hành: (2012-03-01)

The Neural Correlates of the Body-Object Interaction Effect in Semantic Processing
Bằng: Ian Scott Hargreaves, et al.
Được phát hành: (2012-02-01)

Cross-linguistic categorization of throwing events: A behavioral approach
Bằng: Wang, Haoshu, et al.
Được phát hành: (2017)

Research on semantics of trust transitivity in cryptographic primitives
Bằng: WANG Li-cheng1, et al.
Được phát hành: (2008-01-01)

Research on semantics of trust transitivity in cryptographic primitives
Bằng: WANG Li-cheng1, et al.
Được phát hành: (2008-01-01)

Structural foundations for differentiable programming
Bằng: Huot, M
Được phát hành: (2022)

Concrete sheaf models of higher-order recursion
Bằng: Matache, C
Được phát hành: (2022)

A Semantic Change Model for French Loanwords in Persian
Bằng: Azadeh Sharifi MOGHADDAM
Được phát hành: (2013-12-01)

Technical Creativity, Material Engagement and the (Controversial) Role of Language
Bằng: Pietro Montani
Được phát hành: (2019-11-01)

Sense and reference in the process of nomination
Bằng: Aleshkevich Sergey S.
Được phát hành: (2018-06-01)

Knowledge Model Based on Graphical Semantic Perception
Bằng: Jian Liu, et al.
Được phát hành: (2015-12-01)

On Language Adequacy
Bằng: Wybraniec-Skardowska Urszula
Được phát hành: (2015-03-01)

The Semantic Similarity Effect on Short-Term Memory: Null Effects of Affectively Defined Semantic Similarity
Bằng: Sho Ishiguro, et al.
Được phát hành: (2024-02-01)

On the non-compositionality of monads via distributive laws
Bằng: Zwart, M
Được phát hành: (2020)

INVISIBLE TURKISMS IN THE OLZHAS SULEIMENOV’S BOOK “AZ I YA”: A PHILOLOGICAL ESSAY
Bằng: Elena Alexandrovna Krasina
Được phát hành: (2018-12-01)

Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion
Bằng: Roussanka LOUKANOVA
Được phát hành: (2016-12-01)

Formanty kategorialne – ich miejsce w (semantycznej i formalnej) strukturze języka
Bằng: Zuzanna Topolińska
Được phát hành: (2018-12-01)

Graded hyponymy for compositional distributional semantics
Bằng: Dea Bankova, et al.
Được phát hành: (2019-03-01)

The visualization of a graph semantics of imperative languages
Bằng: William Steingartner, et al.
Được phát hành: (2021-01-01)

Neural dynamics of semantic categorization in semantic variant of primary progressive aphasia
Bằng: V Borghesani, et al.
Được phát hành: (2021-06-01)

Automatic detection of semantic primitives using optimization based on genetic algorithm
Bằng: Yevhen Kostiuk, et al.
Được phát hành: (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
Bằng: Lúcio Lourenço Prado
Được phát hành: (2005-01-01)

THE SEMANTIC OF THE RUSSIAN VERBS DENOTING LIGHT
Bằng: Zh. Yu. Polezhaeva
Được phát hành: (2014-02-01)

Semantic Analysis of Proverbs: A Conversation Analysis
Bằng: ا.م .نغم علي حسن
Được phát hành: (2022-09-01)

Lexical Representation of Knowledge about a Human Being in English
Bằng: Tatiana Golechkova
Được phát hành: (2015-09-01)

Lexico-Semantic Group “Clothes” in Modern Russian Language: Theoretical and Methodical Guidelines
Bằng: Inga Yu. Abramova
Được phát hành: (2019-03-01)

Сognitive mechanisms of semantic adaptation of borrowings in Russian
Bằng: Vadim A. Belov, et al.
Được phát hành: (2025-01-01)

The Processing of Visual and Phonological Configurations of Chinese One- and Two-Character Words in a Priming Task of Semantic Categorization
Bằng: Bosen eMa, et al.
Được phát hành: (2016-01-01)