The coinductive resumption monad

The coinductive resumption monad

Show other versions (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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Piróg, M, Gibbons, J
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	Elsevier 2014
Pynciau:	Computer science (mathematics)

Eitemau Tebyg

The coinductive resumption monad
gan: Piróg, M, et al.
Cyhoeddwyd: (2014)

Completely iterative monads in semantics of coinductive programs
gan: Pirog, M
Cyhoeddwyd: (2014)

Unguarded Recursion on Coinductive Resumptions
gan: Sergey Goncharov, et al.
Cyhoeddwyd: (2018-08-01)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

Foundations of regular coinduction
gan: Francesco Dagnino
Cyhoeddwyd: (2021-10-01)

Monads need not be endofunctors
gan: Thosten Altenkirch, et al.
Cyhoeddwyd: (2015-03-01)

Stream fusion: practical shortcut fusion for coinductive sequence types
gan: Coutts, D
Cyhoeddwyd: (2011)

Expressive Logics for Coinductive Predicates
gan: Clemens Kupke, et al.
Cyhoeddwyd: (2021-12-01)

Indexed Induction and Coinduction, Fibrationally
gan: Neil Ghani, et al.
Cyhoeddwyd: (2013-08-01)

An operational interpretation of coinductive types
gan: Łukasz Czajka
Cyhoeddwyd: (2020-02-01)

Formal Languages, Formally and Coinductively
gan: Dmitriy Traytel
Cyhoeddwyd: (2017-09-01)

Monadic second-order definable graph orderings
gan: Achim Blumensath, et al.
Cyhoeddwyd: (2014-01-01)

Corecursive Algebras, Corecursive Monads and Bloom Monads
gan: Jiří Adámek, et al.
Cyhoeddwyd: (2014-09-01)

Tracing monadic computations and representing effects
gan: Pirog, M, et al.
Cyhoeddwyd: (2012)

Global semantic typing for inductive and coinductive computing
gan: Daniel M Leivant
Cyhoeddwyd: (2014-12-01)

Applications of Metric Coinduction
gan: Dexter Kozen, et al.
Cyhoeddwyd: (2009-09-01)

General Recursion via Coinductive Types
gan: Venanzio Capretta
Cyhoeddwyd: (2005-07-01)

Tracing monadic computations and representing effects
gan: Maciej Piróg, et al.
Cyhoeddwyd: (2012-02-01)

Monadic Second Order Logic with Measure and Category Quantifiers
gan: Matteo Mio, et al.
Cyhoeddwyd: (2018-04-01)

Codensity Lifting of Monads and its Dual
gan: Shin-ya Katsumata, et al.
Cyhoeddwyd: (2018-10-01)

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
gan: Jörg Endrullis, et al.
Cyhoeddwyd: (2018-01-01)

Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
gan: Andreas Abel, et al.
Cyhoeddwyd: (2014-06-01)

Generic Trace Semantics via Coinduction
gan: Ichiro Hasuo, et al.
Cyhoeddwyd: (2007-11-01)

A new coinductive confluence proof for infinitary lambda calculus
gan: Łukasz Czajka
Cyhoeddwyd: (2020-03-01)

Coinductive Formal Reasoning in Exact Real Arithmetic
gan: Milad Niqui
Cyhoeddwyd: (2008-09-01)

Smart Choices and the Selection Monad
gan: Martin Abadi, et al.
Cyhoeddwyd: (2023-04-01)

Coinductive Proof Principles for Stochastic Processes
gan: Dexter Kozen
Cyhoeddwyd: (2007-11-01)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
gan: Ranald Clouston, et al.
Cyhoeddwyd: (2017-04-01)

Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
gan: Daisuke Kimura, et al.
Cyhoeddwyd: (2013-03-01)

Bootstrapping Inductive and Coinductive Types in HasCASL
gan: Lutz Schröder
Cyhoeddwyd: (2008-12-01)

From coinductive proofs to exact real arithmetic: theory and applications
gan: Ulrich Berger
Cyhoeddwyd: (2011-03-01)

Coaxioms: flexible coinductive definitions by inference systems
gan: Francesco Dagnino
Cyhoeddwyd: (2020-02-01)

Exploring the Boundaries of Monad Tensorability on Set
gan: Nathan Bowler, et al.
Cyhoeddwyd: (2013-09-01)

Modules over monads and operational semantics (expanded version)
gan: André Hirschowitz, et al.
Cyhoeddwyd: (2022-08-01)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
gan: Clemens Grabmayer
Cyhoeddwyd: (2023-06-01)

A Hoare logic for the coinductive trace-based big-step semantics of While
gan: Keiko Nakata, et al.
Cyhoeddwyd: (2015-02-01)

Natural Transformations as Rewrite Rules and Monad Composition
gan: Dexter Kozen
Cyhoeddwyd: (2019-01-01)

Modular coinduction up-to for higher-order languages via first-order transition systems
gan: Jean-Marie Madiot, et al.
Cyhoeddwyd: (2021-09-01)

Weak bisimulation for coalgebras over order enriched monads
gan: Tomasz Brengos
Cyhoeddwyd: (2015-06-01)