Výsledky vyhledávání

Autor: Garner, Richard

In 2009, Ghani, Hancock and Pattinson gave a coalgebraic characterisation of stream processors A^�� B^�� drawing on ideas of Brouwerian constructivism. Their stream processors have an intensional character; in this paper, we g

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19a936960c3e082f9e4d3452b1951398
https://doi.org/10.46298/lmcs-19(1:2)2023

Zobrazit plný text záznamu

Runners in Action

Autor: Andrej Bauer, Danel Ahman

Publikováno v: Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030449131

Runners of algebraic effects, also known as comodels, provide a mathematical model of resource management. We show that they also give rise to a programming concept that models top-level external resources, as well as allows programmers to modularly

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab37bb6ba32fe17a66b489fcf250e4b4

Zobrazit plný text záznamu

Stateful Runners of Effectful Computations

Autor: Tarmo Uustalu

Publikováno v: MFPS

What structure is required of a set so that computations in a given notion of computation can be run statefully with this set as the state set? For running nondeterministic computations statefully, a resolver structure is needed; for interactive I/O

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81578053e307e9f08a5cddd3ce2c70a4

Zobrazit plný text záznamu

Towards Effects in Mathematical Operational Semantics

Autor: Faris Abou-Saleh, Dirk Pattinson

Publikováno v: MFPS

In this paper, we study extensions of mathematical operational semantics with algebraic effects. Our starting point is an effect-free coalgebraic operational semantics, given by a natural transformation of syntax over behaviour. The operational seman

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ace3f4a165be06705583cd2b770baf53
https://doi.org/10.1016/j.entcs.2011.09.016

Zobrazit plný text záznamu

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Kniha

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Sound and Complete Equational Reasoning over Comodels

Autor: Dirk Pattinson, Lutz Schröder

Publikováno v: MFPS

Comodels of Lawvere theories, i.e. models in Setop, model state spaces with algebraic access operations. Standard equational reasoning is known to be sound but incomplete for comodels. We give two sound and complete calculi for equational reasoning o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85c8067cfb941a891f76af9894767a1c

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání