The coinductive resumption monad

The coinductive resumption monad

Taispeáin leaganacha eile (1)

<p>Resumptions appear in many forms as a convenient abstraction, such as in semantics of concurrency and as a programming pattern. In this paper we introduce generalised resumptions in a category-theoretic, coalgebraic context and show their basic properties: they form a monad, they come equip...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Piróg, M, Gibbons, J
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	Elsevier 2014
Ábhair:	Computer science (mathematics)

Míreanna comhchosúla

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

Completely iterative monads in semantics of coinductive programs
de réir: Pirog, M
Foilsithe / Cruthaithe: (2014)

Unguarded Recursion on Coinductive Resumptions
de réir: Sergey Goncharov, et al.
Foilsithe / Cruthaithe: (2018-08-01)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Foundations of regular coinduction
de réir: Francesco Dagnino
Foilsithe / Cruthaithe: (2021-10-01)

Monads need not be endofunctors
de réir: Thosten Altenkirch, et al.
Foilsithe / Cruthaithe: (2015-03-01)

Stream fusion: practical shortcut fusion for coinductive sequence types
de réir: Coutts, D
Foilsithe / Cruthaithe: (2011)

Expressive Logics for Coinductive Predicates
de réir: Clemens Kupke, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Indexed Induction and Coinduction, Fibrationally
de réir: Neil Ghani, et al.
Foilsithe / Cruthaithe: (2013-08-01)

An operational interpretation of coinductive types
de réir: Łukasz Czajka
Foilsithe / Cruthaithe: (2020-02-01)

Formal Languages, Formally and Coinductively
de réir: Dmitriy Traytel
Foilsithe / Cruthaithe: (2017-09-01)

Monadic second-order definable graph orderings
de réir: Achim Blumensath, et al.
Foilsithe / Cruthaithe: (2014-01-01)

Corecursive Algebras, Corecursive Monads and Bloom Monads
de réir: Jiří Adámek, et al.
Foilsithe / Cruthaithe: (2014-09-01)

Tracing monadic computations and representing effects
de réir: Pirog, M, et al.
Foilsithe / Cruthaithe: (2012)

Global semantic typing for inductive and coinductive computing
de réir: Daniel M Leivant
Foilsithe / Cruthaithe: (2014-12-01)

Applications of Metric Coinduction
de réir: Dexter Kozen, et al.
Foilsithe / Cruthaithe: (2009-09-01)

General Recursion via Coinductive Types
de réir: Venanzio Capretta
Foilsithe / Cruthaithe: (2005-07-01)

Tracing monadic computations and representing effects
de réir: Maciej Piróg, et al.
Foilsithe / Cruthaithe: (2012-02-01)

Monadic Second Order Logic with Measure and Category Quantifiers
de réir: Matteo Mio, et al.
Foilsithe / Cruthaithe: (2018-04-01)

Codensity Lifting of Monads and its Dual
de réir: Shin-ya Katsumata, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
de réir: Jörg Endrullis, et al.
Foilsithe / Cruthaithe: (2018-01-01)

Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
de réir: Andreas Abel, et al.
Foilsithe / Cruthaithe: (2014-06-01)

Generic Trace Semantics via Coinduction
de réir: Ichiro Hasuo, et al.
Foilsithe / Cruthaithe: (2007-11-01)

A new coinductive confluence proof for infinitary lambda calculus
de réir: Łukasz Czajka
Foilsithe / Cruthaithe: (2020-03-01)

Coinductive Formal Reasoning in Exact Real Arithmetic
de réir: Milad Niqui
Foilsithe / Cruthaithe: (2008-09-01)

Smart Choices and the Selection Monad
de réir: Martin Abadi, et al.
Foilsithe / Cruthaithe: (2023-04-01)

Coinductive Proof Principles for Stochastic Processes
de réir: Dexter Kozen
Foilsithe / Cruthaithe: (2007-11-01)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
de réir: Ranald Clouston, et al.
Foilsithe / Cruthaithe: (2017-04-01)

Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
de réir: Daisuke Kimura, et al.
Foilsithe / Cruthaithe: (2013-03-01)

Bootstrapping Inductive and Coinductive Types in HasCASL
de réir: Lutz Schröder
Foilsithe / Cruthaithe: (2008-12-01)

From coinductive proofs to exact real arithmetic: theory and applications
de réir: Ulrich Berger
Foilsithe / Cruthaithe: (2011-03-01)

Coaxioms: flexible coinductive definitions by inference systems
de réir: Francesco Dagnino
Foilsithe / Cruthaithe: (2020-02-01)

Exploring the Boundaries of Monad Tensorability on Set
de réir: Nathan Bowler, et al.
Foilsithe / Cruthaithe: (2013-09-01)

Modules over monads and operational semantics (expanded version)
de réir: André Hirschowitz, et al.
Foilsithe / Cruthaithe: (2022-08-01)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
de réir: Clemens Grabmayer
Foilsithe / Cruthaithe: (2023-06-01)

A Hoare logic for the coinductive trace-based big-step semantics of While
de réir: Keiko Nakata, et al.
Foilsithe / Cruthaithe: (2015-02-01)

Natural Transformations as Rewrite Rules and Monad Composition
de réir: Dexter Kozen
Foilsithe / Cruthaithe: (2019-01-01)

Modular coinduction up-to for higher-order languages via first-order transition systems
de réir: Jean-Marie Madiot, et al.
Foilsithe / Cruthaithe: (2021-09-01)

Weak bisimulation for coalgebras over order enriched monads
de réir: Tomasz Brengos
Foilsithe / Cruthaithe: (2015-06-01)