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

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	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, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2020)

Anna Wierzbicka, Words and the World
द्वारा: Anna N Gladkova, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2012-03-01)

The Neural Correlates of the Body-Object Interaction Effect in Semantic Processing
द्वारा: Ian Scott Hargreaves, और अन्य
प्रकाशित: (2012-02-01)

Cross-linguistic categorization of throwing events: A behavioral approach
द्वारा: Wang, Haoshu, और अन्य
प्रकाशित: (2017)

Research on semantics of trust transitivity in cryptographic primitives
द्वारा: WANG Li-cheng1, और अन्य
प्रकाशित: (2008-01-01)

Research on semantics of trust transitivity in cryptographic primitives
द्वारा: WANG Li-cheng1, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2019-03-01)

The visualization of a graph semantics of imperative languages
द्वारा: William Steingartner, और अन्य
प्रकाशित: (2021-01-01)

Neural dynamics of semantic categorization in semantic variant of primary progressive aphasia
द्वारा: V Borghesani, और अन्य
प्रकाशित: (2021-06-01)

Automatic detection of semantic primitives using optimization based on genetic algorithm
द्वारा: Yevhen Kostiuk, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (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, और अन्य
प्रकाशित: (2016-01-01)