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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Piróg, M, Gibbons, J
Format:	Journal article
Sprog:	English
Udgivet:	Elsevier 2014
Fag:	Computer science (mathematics)

Lignende værker

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

Completely iterative monads in semantics of coinductive programs
af: Pirog, M
Udgivet: (2014)

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

Monads for behaviour
af: Piróg, M, et al.
Udgivet: (2013)

Monads for behaviour
af: Piróg, M, et al.
Udgivet: (2013)

Foundations of regular coinduction
af: Francesco Dagnino
Udgivet: (2021-10-01)

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

Stream fusion: practical shortcut fusion for coinductive sequence types
af: Coutts, D
Udgivet: (2011)

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

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

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

Formal Languages, Formally and Coinductively
af: Dmitriy Traytel
Udgivet: (2017-09-01)

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

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

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

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

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

General Recursion via Coinductive Types
af: Venanzio Capretta
Udgivet: (2005-07-01)

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

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

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

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

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

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

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

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

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

Coinductive Proof Principles for Stochastic Processes
af: Dexter Kozen
Udgivet: (2007-11-01)

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

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

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

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

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

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

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

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

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

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

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

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