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)