The coinductive resumption monad

The coinductive resumption monad

Taispeáin leaganacha eile (1)

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Piróg, M, Gibbons, J
Formáid:	Conference item
Foilsithe / Cruthaithe:	2014

Míreanna comhchosúla

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

Completely iterative monads in semantics of coinductive programs
de réir: Pirog, M
Foilsithe / Cruthaithe: (2014)

Unguarded Recursion on Coinductive Resumptions
de réir: Sergey Goncharov, et al.
Foilsithe / Cruthaithe: (2018-08-01)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Tracing monadic computations and representing effects
de réir: Pirog, M, et al.
Foilsithe / Cruthaithe: (2012)

Tracing monadic computations and representing effects
de réir: Maciej Piróg, et al.
Foilsithe / Cruthaithe: (2012-02-01)

Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
de réir: Andreas Abel, et al.
Foilsithe / Cruthaithe: (2014-06-01)

Eilenberg–Moore Monoids and Backtracking Monad Transformers
de réir: Maciej Piróg
Foilsithe / Cruthaithe: (2016-04-01)

Unifying Theories of Programming with Monads
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2012)

Algorithm design with the selection monad
de réir: Hartmann, J, et al.
Foilsithe / Cruthaithe: (2023)

A Monadic Interpretation of Tactics
de réir: Martin, A, et al.
Foilsithe / Cruthaithe: (2015)

Calculus in coinductive form
de réir: ́Pavlovic, D, et al.
Foilsithe / Cruthaithe: (1998)

Entangled State Monads
de réir: Cheney, J, et al.
Foilsithe / Cruthaithe: (2014)

Reflections on monadic lenses
de réir: Abou-Saleh, F, et al.
Foilsithe / Cruthaithe: (2016)

Applications of Metric Coinduction
de réir: Dexter Kozen, et al.
Foilsithe / Cruthaithe: (2009-09-01)

Foundations of regular coinduction
de réir: Francesco Dagnino
Foilsithe / Cruthaithe: (2021-10-01)

Maximum Segment Sum‚ Monadically (distilled tutorial)
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2011)

Formal Languages, Formally and Coinductively
de réir: Dmitriy Traytel
Foilsithe / Cruthaithe: (2017-09-01)

Expressive Logics for Coinductive Predicates
de réir: Clemens Kupke, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Indexed Induction and Coinduction, Fibrationally
de réir: Neil Ghani, et al.
Foilsithe / Cruthaithe: (2013-08-01)

An operational interpretation of coinductive types
de réir: Łukasz Czajka
Foilsithe / Cruthaithe: (2020-02-01)

Just do it: simple monadic equational reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Just do It: Simple Monadic Equational Reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Just do it: Simple monadic equational reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Maximum Segment Sum, Monadically (distilled tutorial)
de réir: Jeremy Gibbons
Foilsithe / Cruthaithe: (2011-09-01)

Quantitative information flow with Monads in Haskell
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2020)

Just do It: Simple Monadic Equational Reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Corecursive Algebras, Corecursive Monads and Bloom Monads
de réir: Jiří Adámek, et al.
Foilsithe / Cruthaithe: (2014-09-01)

General Recursion via Coinductive Types
de réir: Venanzio Capretta
Foilsithe / Cruthaithe: (2005-07-01)

Generic Trace Semantics via Coinduction
de réir: Ichiro Hasuo, et al.
Foilsithe / Cruthaithe: (2007-11-01)

Coinductive Proof Principles for Stochastic Processes
de réir: Dexter Kozen
Foilsithe / Cruthaithe: (2007-11-01)

A Coinductive Approach to Proof Search
de réir: José Espírito Santo, et al.
Foilsithe / Cruthaithe: (2013-08-01)

Coinductive Big-Step Semantics for Concurrency
de réir: Tarmo Uustalu
Foilsithe / Cruthaithe: (2013-12-01)

Notions of Bidirectional Computation and Entangled State Monads
de réir: Abou-Saleh, F, et al.
Foilsithe / Cruthaithe: (2015)

Global semantic typing for inductive and coinductive computing
de réir: Daniel M Leivant
Foilsithe / Cruthaithe: (2014-12-01)

Of Tactics and Monads
de réir: Martin, A
Foilsithe / Cruthaithe: (1996)

Stream Differential Equations: concrete formats for coinductive definitions
de réir: Kupke, C, et al.
Foilsithe / Cruthaithe: (2011)

Coaxioms: flexible coinductive definitions by inference systems
de réir: Francesco Dagnino
Foilsithe / Cruthaithe: (2020-02-01)

Bootstrapping Inductive and Coinductive Types in HasCASL
de réir: Lutz Schröder
Foilsithe / Cruthaithe: (2008-12-01)