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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Pirog, M, Gibbons, J
Formáid:	Conference item
Foilsithe / Cruthaithe:	Open Publishing Association 2012

Míreanna comhchosúla

Tracing monadic computations and representing effects
de réir: Maciej Piróg, et al.
Foilsithe / Cruthaithe: (2012-02-01)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

Completely iterative monads in semantics of coinductive programs
de réir: Pirog, M
Foilsithe / Cruthaithe: (2014)

Eilenberg–Moore Monoids and Backtracking Monad Transformers
de réir: Maciej Piróg
Foilsithe / Cruthaithe: (2016-04-01)

Notions of Bidirectional Computation and Entangled State Monads
de réir: Abou-Saleh, F, et al.
Foilsithe / Cruthaithe: (2015)

Unifying Theories of Programming with Monads
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2012)

Algorithm design with the selection monad
de réir: Hartmann, J, et al.
Foilsithe / Cruthaithe: (2023)

A Monadic Interpretation of Tactics
de réir: Martin, A, et al.
Foilsithe / Cruthaithe: (2015)

Entangled State Monads
de réir: Cheney, J, et al.
Foilsithe / Cruthaithe: (2014)

Reflections on monadic lenses
de réir: Abou-Saleh, F, et al.
Foilsithe / Cruthaithe: (2016)

Maximum Segment Sum‚ Monadically (distilled tutorial)
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2011)

Evaluation strategies for monadic computations
de réir: Tomas Petricek
Foilsithe / Cruthaithe: (2012-02-01)

Just do it: simple monadic equational reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Just do It: Simple Monadic Equational Reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Just do it: Simple monadic equational reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Maximum Segment Sum, Monadically (distilled tutorial)
de réir: Jeremy Gibbons
Foilsithe / Cruthaithe: (2011-09-01)

Quantitative information flow with Monads in Haskell
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2020)

Just do It: Simple Monadic Equational Reasoning
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2011)

Corecursive Algebras, Corecursive Monads and Bloom Monads
de réir: Jiří Adámek, et al.
Foilsithe / Cruthaithe: (2014-09-01)

Monadic Effect Algebras
de réir: Yuxi Zou, et al.
Foilsithe / Cruthaithe: (2022-01-01)

Of Tactics and Monads
de réir: Martin, A
Foilsithe / Cruthaithe: (1996)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

Monadic Datalog Containment
de réir: Benedikt, M, et al.
Foilsithe / Cruthaithe: (2012)

The monadic theory of toric words
de réir: Berthé, V, et al.
Foilsithe / Cruthaithe: (2024)

Deriving monad transformers
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

MONAD KAVRAMININ TEMELLERİ
de réir: Deniz Soysal
Foilsithe / Cruthaithe: (2009-07-01)

Monads need not be endofunctors
de réir: Thosten Altenkirch, et al.
Foilsithe / Cruthaithe: (2015-03-01)

Monad Metrizable Space
de réir: Orhan Göçür
Foilsithe / Cruthaithe: (2020-10-01)

On Discrete Presheaf Monads
de réir: Gao Zhang, et al.
Foilsithe / Cruthaithe: (2023-06-01)

On saturated prefilter monads
de réir: Gao Zhang, et al.
Foilsithe / Cruthaithe: (2023-02-01)

Notions of Monad Strength
de réir: Philip Mulry
Foilsithe / Cruthaithe: (2013-09-01)

Relative Monads Formalised
de réir: Thorsten Altenkirch, et al.
Foilsithe / Cruthaithe: (2014-07-01)

Quantifiers on languages and codensity monads
de réir: Gehrke, M, et al.
Foilsithe / Cruthaithe: (2017)

Quantifiers on languages and codensity monads
de réir: Gehrke, M, et al.
Foilsithe / Cruthaithe: (2021)

Efficient Monadic−style Backtracking
de réir: Hinze, R
Foilsithe / Cruthaithe: (1996)

Equivalence Problems for Monadic Schemas
de réir: Qualitz, Joseph E.
Foilsithe / Cruthaithe: (2023)

Deriving backtracking monad transformers
de réir: Hinze, R
Foilsithe / Cruthaithe: (2000)