Tracing monadic computations and representing effects

Tracing monadic computations and representing effects

In functional programming, monads are supposed to encapsulate computations, effectfully producing the final result, but keeping the means of acquiring it to themselves. For various reasons, we sometimes want to reveal the internals of a computation. To make that possible, in this paper we introduce...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Pirog, M, Gibbons, J
Fformat:	Conference item
Cyhoeddwyd:	Open Publishing Association 2012

Eitemau Tebyg

Tracing monadic computations and representing effects
gan: Maciej Piróg, et al.
Cyhoeddwyd: (2012-02-01)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

Monads for behaviour
gan: Piróg, M, et al.
Cyhoeddwyd: (2013)

The coinductive resumption monad
gan: Piróg, M, et al.
Cyhoeddwyd: (2014)

The coinductive resumption monad
gan: Piróg, M, et al.
Cyhoeddwyd: (2014)

Completely iterative monads in semantics of coinductive programs
gan: Pirog, M
Cyhoeddwyd: (2014)

Eilenberg–Moore Monoids and Backtracking Monad Transformers
gan: Maciej Piróg
Cyhoeddwyd: (2016-04-01)

Notions of Bidirectional Computation and Entangled State Monads
gan: Abou-Saleh, F, et al.
Cyhoeddwyd: (2015)

Unifying Theories of Programming with Monads
gan: Gibbons, J
Cyhoeddwyd: (2012)

Algorithm design with the selection monad
gan: Hartmann, J, et al.
Cyhoeddwyd: (2023)

A Monadic Interpretation of Tactics
gan: Martin, A, et al.
Cyhoeddwyd: (2015)

Entangled State Monads
gan: Cheney, J, et al.
Cyhoeddwyd: (2014)

Reflections on monadic lenses
gan: Abou-Saleh, F, et al.
Cyhoeddwyd: (2016)

Maximum Segment Sum‚ Monadically (distilled tutorial)
gan: Gibbons, J
Cyhoeddwyd: (2011)

Evaluation strategies for monadic computations
gan: Tomas Petricek
Cyhoeddwyd: (2012-02-01)

Just do it: simple monadic equational reasoning
gan: Gibbons, J, et al.
Cyhoeddwyd: (2011)

Just do It: Simple Monadic Equational Reasoning
gan: Gibbons, J, et al.
Cyhoeddwyd: (2011)

Just do it: Simple monadic equational reasoning
gan: Gibbons, J, et al.
Cyhoeddwyd: (2011)

Maximum Segment Sum, Monadically (distilled tutorial)
gan: Jeremy Gibbons
Cyhoeddwyd: (2011-09-01)

Quantitative information flow with Monads in Haskell
gan: Gibbons, J, et al.
Cyhoeddwyd: (2020)

Just do It: Simple Monadic Equational Reasoning
gan: Gibbons, J, et al.
Cyhoeddwyd: (2011)

Corecursive Algebras, Corecursive Monads and Bloom Monads
gan: Jiří Adámek, et al.
Cyhoeddwyd: (2014-09-01)

Monadic Effect Algebras
gan: Yuxi Zou, et al.
Cyhoeddwyd: (2022-01-01)

Of Tactics and Monads
gan: Martin, A
Cyhoeddwyd: (1996)

Monadic Datalog Containment
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)

Monadic Datalog Containment
gan: Benedikt, M, et al.
Cyhoeddwyd: (2012)

The monadic theory of toric words
gan: Berthé, V, et al.
Cyhoeddwyd: (2024)

Deriving monad transformers
gan: Hinze, R
Cyhoeddwyd: (1999)

MONAD KAVRAMININ TEMELLERİ
gan: Deniz Soysal
Cyhoeddwyd: (2009-07-01)

Monads need not be endofunctors
gan: Thosten Altenkirch, et al.
Cyhoeddwyd: (2015-03-01)

Monad Metrizable Space
gan: Orhan Göçür
Cyhoeddwyd: (2020-10-01)

On Discrete Presheaf Monads
gan: Gao Zhang, et al.
Cyhoeddwyd: (2023-06-01)

On saturated prefilter monads
gan: Gao Zhang, et al.
Cyhoeddwyd: (2023-02-01)

Notions of Monad Strength
gan: Philip Mulry
Cyhoeddwyd: (2013-09-01)

Relative Monads Formalised
gan: Thorsten Altenkirch, et al.
Cyhoeddwyd: (2014-07-01)

Quantifiers on languages and codensity monads
gan: Gehrke, M, et al.
Cyhoeddwyd: (2017)

Quantifiers on languages and codensity monads
gan: Gehrke, M, et al.
Cyhoeddwyd: (2021)

Efficient Monadic−style Backtracking
gan: Hinze, R
Cyhoeddwyd: (1996)

Equivalence Problems for Monadic Schemas
gan: Qualitz, Joseph E.
Cyhoeddwyd: (2023)

Deriving backtracking monad transformers
gan: Hinze, R
Cyhoeddwyd: (2000)