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)