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)