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)

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
द्वारा: Jörg Endrullis, और अन्य
प्रकाशित: (2018-01-01)

Codensity Lifting of Monads and its Dual
द्वारा: Shin-ya Katsumata, और अन्य
प्रकाशित: (2018-10-01)

Generic Trace Semantics via Coinduction
द्वारा: Ichiro Hasuo, और अन्य
प्रकाशित: (2007-11-01)

Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
द्वारा: Andreas Abel, और अन्य
प्रकाशित: (2014-06-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)