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)