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)

Eilenberg–Moore Monoids and Backtracking Monad Transformers
за авторством: Maciej Piróg
Опубліковано: (2016-04-01)

Unifying Theories of Programming with Monads
за авторством: Gibbons, J
Опубліковано: (2012)

Algorithm design with the selection monad
за авторством: Hartmann, J, та інші
Опубліковано: (2023)

A Monadic Interpretation of Tactics
за авторством: Martin, A, та інші
Опубліковано: (2015)

Calculus in coinductive form
за авторством: ́Pavlovic, D, та інші
Опубліковано: (1998)

Entangled State Monads
за авторством: Cheney, J, та інші
Опубліковано: (2014)

Reflections on monadic lenses
за авторством: Abou-Saleh, F, та інші
Опубліковано: (2016)

Applications of Metric Coinduction
за авторством: Dexter Kozen, та інші
Опубліковано: (2009-09-01)

Foundations of regular coinduction
за авторством: Francesco Dagnino
Опубліковано: (2021-10-01)

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)

Of Tactics and Monads
за авторством: Martin, A
Опубліковано: (1996)

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)