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

Detaylı Bibliyografya
Asıl Yazarlar:	Forster, Y, Kammar, O, Lindley, S, Pretnar, M
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	Association for Computing Machinery (ACM) 2017
Konular:	operational semantics theory of computation: control primitives denotational semantics functional constructs categorical semantics type structures

Benzer Materyaller

[Supporting material] On the expressive power of user-defined effects: Effect handlers, monadic reflection, delimited control
Yazar:: Pretnar, M
Baskı/Yayın Bilgisi: (2017)

LEXICAL AND SEMANTIC CLASSIFICATION OF THE RUSSIAN VERBS DENOTING LIGHT
Yazar:: Zh. Yu. Polezhaeva
Baskı/Yayın Bilgisi: (2014-02-01)

Affectedness: Observations on Turkish
Yazar:: Pınar İBE AKCAN
Baskı/Yayın Bilgisi: (2024-06-01)

Denotative and connotative analysis on Elia Pettie’s short story
Yazar:: Nur Nabilah Fauziyah, ve diğerleri
Baskı/Yayın Bilgisi: (2020-06-01)

Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'
Yazar:: Pretnar, M
Baskı/Yayın Bilgisi: (2016)

СПЕЦИФИКА ОПЕРИРОВАНИЯ СЕМАНТИКОЙ УМСТВЕННО ОТСТАЛЫХ ЛИЦ
Yazar:: Elena Anatolievna Steblyak
Baskı/Yayın Bilgisi: (2015-09-01)

THE SEMANTIC STRUCTURE OF LANDSCAPE TERMS IN GERMAN FOLK TEXTS (A CASE STUDY OF FAIRY TALES, PROVERBS AND SAYINGS)
Yazar:: Rakitina Olga Nikolaevna
Baskı/Yayın Bilgisi: (2014-11-01)

Paradox of Expressing the Inexpressible: Review (Mikhailova, M. Yu. (2017). Semantics of Inexpressible in Language and Speech. Samara: SGSPU. 244 p.)
Yazar:: A. K. Zhumabekova
Baskı/Yayın Bilgisi: (2018-05-01)

System relations in Russian vocabulary as a reflection of the mechanism of knowledge categorization
Yazar:: N. A. Ilyukhina
Baskı/Yayın Bilgisi: (2023-12-01)

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
Yazar:: Shi, Ling, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Anna Wierzbicka, Words and the World
Yazar:: Anna N Gladkova, ve diğerleri
Baskı/Yayın Bilgisi: (2018-12-01)

‘Neopredeljonnyj’ [Indefinite] vs. ‘Neulovimyj’ [Elusive] in Aspect of Categorical Perception
Yazar:: L. V. Kalinina
Baskı/Yayın Bilgisi: (2023-09-01)

Flexible recruitment of semantic richness: Context modulates body-object interaction effects in lexical-semantic processing
Yazar:: Cody eTousignant, ve diğerleri
Baskı/Yayın Bilgisi: (2012-03-01)

The Neural Correlates of the Body-Object Interaction Effect in Semantic Processing
Yazar:: Ian Scott Hargreaves, ve diğerleri
Baskı/Yayın Bilgisi: (2012-02-01)

Cross-linguistic categorization of throwing events: A behavioral approach
Yazar:: Wang, Haoshu, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Research on semantics of trust transitivity in cryptographic primitives
Yazar:: WANG Li-cheng1, ve diğerleri
Baskı/Yayın Bilgisi: (2008-01-01)

Research on semantics of trust transitivity in cryptographic primitives
Yazar:: WANG Li-cheng1, ve diğerleri
Baskı/Yayın Bilgisi: (2008-01-01)

Structural foundations for differentiable programming
Yazar:: Huot, M
Baskı/Yayın Bilgisi: (2022)

Concrete sheaf models of higher-order recursion
Yazar:: Matache, C
Baskı/Yayın Bilgisi: (2022)

A Semantic Change Model for French Loanwords in Persian
Yazar:: Azadeh Sharifi MOGHADDAM
Baskı/Yayın Bilgisi: (2013-12-01)

Technical Creativity, Material Engagement and the (Controversial) Role of Language
Yazar:: Pietro Montani
Baskı/Yayın Bilgisi: (2019-11-01)

Sense and reference in the process of nomination
Yazar:: Aleshkevich Sergey S.
Baskı/Yayın Bilgisi: (2018-06-01)

Knowledge Model Based on Graphical Semantic Perception
Yazar:: Jian Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2015-12-01)

On Language Adequacy
Yazar:: Wybraniec-Skardowska Urszula
Baskı/Yayın Bilgisi: (2015-03-01)

The Semantic Similarity Effect on Short-Term Memory: Null Effects of Affectively Defined Semantic Similarity
Yazar:: Sho Ishiguro, ve diğerleri
Baskı/Yayın Bilgisi: (2024-02-01)

On the non-compositionality of monads via distributive laws
Yazar:: Zwart, M
Baskı/Yayın Bilgisi: (2020)

INVISIBLE TURKISMS IN THE OLZHAS SULEIMENOV’S BOOK “AZ I YA”: A PHILOLOGICAL ESSAY
Yazar:: Elena Alexandrovna Krasina
Baskı/Yayın Bilgisi: (2018-12-01)

Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion
Yazar:: Roussanka LOUKANOVA
Baskı/Yayın Bilgisi: (2016-12-01)

Formanty kategorialne – ich miejsce w (semantycznej i formalnej) strukturze języka
Yazar:: Zuzanna Topolińska
Baskı/Yayın Bilgisi: (2018-12-01)

Graded hyponymy for compositional distributional semantics
Yazar:: Dea Bankova, ve diğerleri
Baskı/Yayın Bilgisi: (2019-03-01)

The visualization of a graph semantics of imperative languages
Yazar:: William Steingartner, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Neural dynamics of semantic categorization in semantic variant of primary progressive aphasia
Yazar:: V Borghesani, ve diğerleri
Baskı/Yayın Bilgisi: (2021-06-01)

Automatic detection of semantic primitives using optimization based on genetic algorithm
Yazar:: Yevhen Kostiuk, ve diğerleri
Baskı/Yayın Bilgisi: (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
Yazar:: Lúcio Lourenço Prado
Baskı/Yayın Bilgisi: (2005-01-01)

THE SEMANTIC OF THE RUSSIAN VERBS DENOTING LIGHT
Yazar:: Zh. Yu. Polezhaeva
Baskı/Yayın Bilgisi: (2014-02-01)

Semantic Analysis of Proverbs: A Conversation Analysis
Yazar:: ا.م .نغم علي حسن
Baskı/Yayın Bilgisi: (2022-09-01)

Lexical Representation of Knowledge about a Human Being in English
Yazar:: Tatiana Golechkova
Baskı/Yayın Bilgisi: (2015-09-01)

Lexico-Semantic Group “Clothes” in Modern Russian Language: Theoretical and Methodical Guidelines
Yazar:: Inga Yu. Abramova
Baskı/Yayın Bilgisi: (2019-03-01)

Сognitive mechanisms of semantic adaptation of borrowings in Russian
Yazar:: Vadim A. Belov, ve diğerleri
Baskı/Yayın Bilgisi: (2025-01-01)

The Processing of Visual and Phonological Configurations of Chinese One- and Two-Character Words in a Priming Task of Semantic Categorization
Yazar:: Bosen eMa, ve diğerleri
Baskı/Yayın Bilgisi: (2016-01-01)