The coinductive resumption monad

The coinductive resumption monad

Zobrazit další vydání (1)

Podrobná bibliografie
Hlavní autoři:	Piróg, M, Gibbons, J
Médium:	Conference item
Vydáno:	2014

Podobné jednotky

The coinductive resumption monad
Autor: Piróg, M, a další
Vydáno: (2014)

Completely iterative monads in semantics of coinductive programs
Autor: Pirog, M
Vydáno: (2014)

Unguarded Recursion on Coinductive Resumptions
Autor: Sergey Goncharov, a další
Vydáno: (2018-08-01)

Monads for behaviour
Autor: Piróg, M, a další
Vydáno: (2013)

Monads for behaviour
Autor: Piróg, M, a další
Vydáno: (2013)

Tracing monadic computations and representing effects
Autor: Pirog, M, a další
Vydáno: (2012)

Tracing monadic computations and representing effects
Autor: Maciej Piróg, a další
Vydáno: (2012-02-01)

Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
Autor: Andreas Abel, a další
Vydáno: (2014-06-01)

Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction
Autor: Keiko Nakata, a další
Vydáno: (2010-08-01)

Eilenberg–Moore Monoids and Backtracking Monad Transformers
Autor: Maciej Piróg
Vydáno: (2016-04-01)

Unifying Theories of Programming with Monads
Autor: Gibbons, J
Vydáno: (2012)

Calculus in coinductive form
Autor: ́Pavlovic, D, a další
Vydáno: (1998)

Algorithm design with the selection monad
Autor: Hartmann, J, a další
Vydáno: (2023)

A Monadic Interpretation of Tactics
Autor: Martin, A, a další
Vydáno: (2015)

Applications of Metric Coinduction
Autor: Dexter Kozen, a další
Vydáno: (2009-09-01)

Foundations of regular coinduction
Autor: Francesco Dagnino
Vydáno: (2021-10-01)

Entangled State Monads
Autor: Cheney, J, a další
Vydáno: (2014)

Reflections on monadic lenses
Autor: Abou-Saleh, F, a další
Vydáno: (2016)

Maximum Segment Sum‚ Monadically (distilled tutorial)
Autor: Gibbons, J
Vydáno: (2011)

Formal Languages, Formally and Coinductively
Autor: Dmitriy Traytel
Vydáno: (2017-09-01)

Expressive Logics for Coinductive Predicates
Autor: Clemens Kupke, a další
Vydáno: (2021-12-01)

Indexed Induction and Coinduction, Fibrationally
Autor: Neil Ghani, a další
Vydáno: (2013-08-01)

An operational interpretation of coinductive types
Autor: Łukasz Czajka
Vydáno: (2020-02-01)

Just do it: simple monadic equational reasoning
Autor: Gibbons, J, a další
Vydáno: (2011)

Just do It: Simple Monadic Equational Reasoning
Autor: Gibbons, J, a další
Vydáno: (2011)

Just do it: Simple monadic equational reasoning
Autor: Gibbons, J, a další
Vydáno: (2011)

Maximum Segment Sum, Monadically (distilled tutorial)
Autor: Jeremy Gibbons
Vydáno: (2011-09-01)

Quantitative information flow with Monads in Haskell
Autor: Gibbons, J, a další
Vydáno: (2020)

Just do It: Simple Monadic Equational Reasoning
Autor: Gibbons, J, a další
Vydáno: (2011)

Corecursive Algebras, Corecursive Monads and Bloom Monads
Autor: Jiří Adámek, a další
Vydáno: (2014-09-01)

General Recursion via Coinductive Types
Autor: Venanzio Capretta
Vydáno: (2005-07-01)

Generic Trace Semantics via Coinduction
Autor: Ichiro Hasuo, a další
Vydáno: (2007-11-01)

Coinductive Proof Principles for Stochastic Processes
Autor: Dexter Kozen
Vydáno: (2007-11-01)

A Coinductive Approach to Proof Search
Autor: José Espírito Santo, a další
Vydáno: (2013-08-01)

Coinductive Big-Step Semantics for Concurrency
Autor: Tarmo Uustalu
Vydáno: (2013-12-01)

Notions of Bidirectional Computation and Entangled State Monads
Autor: Abou-Saleh, F, a další
Vydáno: (2015)

Global semantic typing for inductive and coinductive computing
Autor: Daniel M Leivant
Vydáno: (2014-12-01)

Stream Differential Equations: concrete formats for coinductive definitions
Autor: Kupke, C, a další
Vydáno: (2011)

Coaxioms: flexible coinductive definitions by inference systems
Autor: Francesco Dagnino
Vydáno: (2020-02-01)

Bootstrapping Inductive and Coinductive Types in HasCASL
Autor: Lutz Schröder
Vydáno: (2008-12-01)