The coinductive resumption monad

The coinductive resumption monad

अन्य संस्करण दिखाएं (1)

ग्रंथसूची विवरण
मुख्य लेखकों:	Piróg, M, Gibbons, J
स्वरूप:	Conference item
प्रकाशित:	2014

समान संसाधन

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)

Tracing monadic computations and representing effects
द्वारा: Pirog, M, और अन्य
प्रकाशित: (2012)

Tracing monadic computations and representing effects
द्वारा: Maciej Piróg, और अन्य
प्रकाशित: (2012-02-01)

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

Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction
द्वारा: Keiko Nakata, और अन्य
प्रकाशित: (2010-08-01)

Eilenberg–Moore Monoids and Backtracking Monad Transformers
द्वारा: Maciej Piróg
प्रकाशित: (2016-04-01)

Unifying Theories of Programming with Monads
द्वारा: Gibbons, J
प्रकाशित: (2012)

Calculus in coinductive form
द्वारा: ́Pavlovic, D, और अन्य
प्रकाशित: (1998)

Algorithm design with the selection monad
द्वारा: Hartmann, J, और अन्य
प्रकाशित: (2023)

A Monadic Interpretation of Tactics
द्वारा: Martin, A, और अन्य
प्रकाशित: (2015)

Applications of Metric Coinduction
द्वारा: Dexter Kozen, और अन्य
प्रकाशित: (2009-09-01)

Foundations of regular coinduction
द्वारा: Francesco Dagnino
प्रकाशित: (2021-10-01)

Entangled State Monads
द्वारा: Cheney, J, और अन्य
प्रकाशित: (2014)

Reflections on monadic lenses
द्वारा: Abou-Saleh, F, और अन्य
प्रकाशित: (2016)

Maximum Segment Sum‚ Monadically (distilled tutorial)
द्वारा: Gibbons, J
प्रकाशित: (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)

Just do it: simple monadic equational reasoning
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2011)

Just do It: Simple Monadic Equational Reasoning
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2011)

Just do it: Simple monadic equational reasoning
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2011)

Maximum Segment Sum, Monadically (distilled tutorial)
द्वारा: Jeremy Gibbons
प्रकाशित: (2011-09-01)

Quantitative information flow with Monads in Haskell
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2020)

Just do It: Simple Monadic Equational Reasoning
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2011)

Corecursive Algebras, Corecursive Monads and Bloom Monads
द्वारा: Jiří Adámek, और अन्य
प्रकाशित: (2014-09-01)

General Recursion via Coinductive Types
द्वारा: Venanzio Capretta
प्रकाशित: (2005-07-01)

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

Coinductive Proof Principles for Stochastic Processes
द्वारा: Dexter Kozen
प्रकाशित: (2007-11-01)

A Coinductive Approach to Proof Search
द्वारा: José Espírito Santo, और अन्य
प्रकाशित: (2013-08-01)

Coinductive Big-Step Semantics for Concurrency
द्वारा: Tarmo Uustalu
प्रकाशित: (2013-12-01)

Notions of Bidirectional Computation and Entangled State Monads
द्वारा: Abou-Saleh, F, और अन्य
प्रकाशित: (2015)

Global semantic typing for inductive and coinductive computing
द्वारा: Daniel M Leivant
प्रकाशित: (2014-12-01)

Stream Differential Equations: concrete formats for coinductive definitions
द्वारा: Kupke, C, और अन्य
प्रकाशित: (2011)

Coaxioms: flexible coinductive definitions by inference systems
द्वारा: Francesco Dagnino
प्रकाशित: (2020-02-01)

Bootstrapping Inductive and Coinductive Types in HasCASL
द्वारा: Lutz Schröder
प्रकाशित: (2008-12-01)