The Different Aspects of Monads and Mixins

The Different Aspects of Monads and Mixins

Bibliographic Details
Main Author:	dos Santos Oliveira, B
Format:	Record
Published:	2009

Similar Items

Of Tactics and Monads
by: Martin, A
Published: (1996)

Monads for behaviour
by: Piróg, M, et al.
Published: (2013)

Monads for behaviour
by: Piróg, M, et al.
Published: (2013)

Deriving monad transformers
by: Hinze, R
Published: (1999)

Monadic Datalog Containment
by: Benedikt, M, et al.
Published: (2012)

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

Monadic Datalog Containment
by: Benedikt, M, et al.
Published: (2012)

Entangled State Monads
by: Cheney, J, et al.
Published: (2014)

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

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

Arrows‚ like Monads‚ are Monoids
by: Heunen, C, et al.
Published: (2006)

Efficient Monadic−style Backtracking
by: Hinze, R
Published: (1996)

A Monadic Interpretation of Tactics
by: Martin, A, et al.
Published: (2015)

Equivalence Problems for Monadic Schemas
by: Qualitz, Joseph E.
Published: (2023)

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

Deriving backtracking monad transformers
by: Hinze, R
Published: (2000)

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

Unifying Theories of Programming with Monads
by: Gibbons, J
Published: (2012)

Monadic decomposabily of regular relations
by: Barceló, P, et al.
Published: (2019)

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

The quantum monad on relational structures
by: Abramsky, S, et al.
Published: (2017)

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

A preliminary study on the effects of E-Z Mixin® and EquiPlus® extenders supplemented with Edible Bird's Nest on the quality of chilled Arabian stallion semen
by: Al-Khaldi, Khalid, et al.
Published: (2021)

Tracing monadic computations and representing effects
by: Pirog, M, et al.
Published: (2012)

Monads for measurable queries in probabilistic databases
by: Dash, S, et al.
Published: (2021)

Monad bundles in heterotic string compactifications
by: Anderson, L, et al.
Published: (2008)

Monad bundles in heterotic string compactifications
by: Anderson, L, et al.
Published: (2008)

Heterotic instantons for monad and extension bundles
by: Buchbinder, EI, et al.
Published: (2020)

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

A monadic theory of point processes
by: Dash, S
Published: (2023)

On the Parameterised Intractability of Monadic Second−Order Logic
by: Kreutzer, S
Published: (2009)

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

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

Maximum Segment Sum‚ Monadically (distilled tutorial)
by: Gibbons, J
Published: (2011)

Completely iterative monads in semantics of coinductive programs
by: Pirog, M
Published: (2014)

A monad for full ground reference cells
by: Kammar, O, et al.
Published: (2017)

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

A Functional and Monadic Proof Assistant for Streams
by: James, D
Published: (2008)

Affine monads and lazy structures for Bayesian programming
by: Dash, S, et al.
Published: (2023)

On the non-compositionality of monads via distributive laws
by: Zwart, M
Published: (2020)