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)

Stream Differential Equations: concrete formats for coinductive definitions
حسب: Kupke, C, وآخرون
منشور في: (2011)

Of Tactics and Monads
حسب: Martin, A
منشور في: (1996)

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)