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)