The coinductive resumption monad

The coinductive resumption monad

他のバージョン（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...

書誌詳細
主要な著者:	Piróg, M, Gibbons, J
フォーマット:	Journal article
言語:	English
出版事項:	Elsevier 2014
主題:	Computer science (mathematics)

類似資料

The coinductive resumption monad
著者:: Piróg, M, 等
出版事項: (2014)

Completely iterative monads in semantics of coinductive programs
著者:: Pirog, M
出版事項: (2014)

Unguarded Recursion on Coinductive Resumptions
著者:: Sergey Goncharov, 等
出版事項: (2018-08-01)

Monads for behaviour
著者:: Piróg, M, 等
出版事項: (2013)

Monads for behaviour
著者:: Piróg, M, 等
出版事項: (2013)

Foundations of regular coinduction
著者:: Francesco Dagnino
出版事項: (2021-10-01)

Monads need not be endofunctors
著者:: Thosten Altenkirch, 等
出版事項: (2015-03-01)

Stream fusion: practical shortcut fusion for coinductive sequence types
著者:: Coutts, D
出版事項: (2011)

Formal Languages, Formally and Coinductively
著者:: Dmitriy Traytel
出版事項: (2017-09-01)

Expressive Logics for Coinductive Predicates
著者:: Clemens Kupke, 等
出版事項: (2021-12-01)

Indexed Induction and Coinduction, Fibrationally
著者:: Neil Ghani, 等
出版事項: (2013-08-01)

An operational interpretation of coinductive types
著者:: Łukasz Czajka
出版事項: (2020-02-01)

Monadic second-order definable graph orderings
著者:: Achim Blumensath, 等
出版事項: (2014-01-01)

Corecursive Algebras, Corecursive Monads and Bloom Monads
著者:: Jiří Adámek, 等
出版事項: (2014-09-01)

Tracing monadic computations and representing effects
著者:: Pirog, M, 等
出版事項: (2012)

Global semantic typing for inductive and coinductive computing
著者:: Daniel M Leivant
出版事項: (2014-12-01)

Applications of Metric Coinduction
著者:: Dexter Kozen, 等
出版事項: (2009-09-01)

General Recursion via Coinductive Types
著者:: Venanzio Capretta
出版事項: (2005-07-01)

Tracing monadic computations and representing effects
著者:: Maciej Piróg, 等
出版事項: (2012-02-01)

Monadic Second Order Logic with Measure and Category Quantifiers
著者:: Matteo Mio, 等
出版事項: (2018-04-01)

Codensity Lifting of Monads and its Dual
著者:: Shin-ya Katsumata, 等
出版事項: (2018-10-01)

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
著者:: Jörg Endrullis, 等
出版事項: (2018-01-01)

Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
著者:: Andreas Abel, 等
出版事項: (2014-06-01)

Generic Trace Semantics via Coinduction
著者:: Ichiro Hasuo, 等
出版事項: (2007-11-01)

A new coinductive confluence proof for infinitary lambda calculus
著者:: Łukasz Czajka
出版事項: (2020-03-01)

Coinductive Formal Reasoning in Exact Real Arithmetic
著者:: Milad Niqui
出版事項: (2008-09-01)

Smart Choices and the Selection Monad
著者:: Martin Abadi, 等
出版事項: (2023-04-01)

Coinductive Proof Principles for Stochastic Processes
著者:: Dexter Kozen
出版事項: (2007-11-01)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
著者:: Ranald Clouston, 等
出版事項: (2017-04-01)

Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
著者:: Daisuke Kimura, 等
出版事項: (2013-03-01)

Bootstrapping Inductive and Coinductive Types in HasCASL
著者:: Lutz Schröder
出版事項: (2008-12-01)

From coinductive proofs to exact real arithmetic: theory and applications
著者:: Ulrich Berger
出版事項: (2011-03-01)

Coaxioms: flexible coinductive definitions by inference systems
著者:: Francesco Dagnino
出版事項: (2020-02-01)

Exploring the Boundaries of Monad Tensorability on Set
著者:: Nathan Bowler, 等
出版事項: (2013-09-01)

Modules over monads and operational semantics (expanded version)
著者:: André Hirschowitz, 等
出版事項: (2022-08-01)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
著者:: Clemens Grabmayer
出版事項: (2023-06-01)

A Hoare logic for the coinductive trace-based big-step semantics of While
著者:: Keiko Nakata, 等
出版事項: (2015-02-01)

Natural Transformations as Rewrite Rules and Monad Composition
著者:: Dexter Kozen
出版事項: (2019-01-01)

Modular coinduction up-to for higher-order languages via first-order transition systems
著者:: Jean-Marie Madiot, 等
出版事項: (2021-09-01)

Weak bisimulation for coalgebras over order enriched monads
著者:: Tomasz Brengos
出版事項: (2015-06-01)