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

Verified Subtyping with Traits and Mixins
by: Asankhaya Sharma
Published: (2014-07-01)

Typing Classes and Mixins with Intersection Types
by: Jan Bessai, et al.
Published: (2015-03-01)

Mixin Composition Synthesis based on Intersection Types
by: Jan Bessai, et al.
Published: (2018-02-01)

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

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)

MONAD KAVRAMININ TEMELLERİ
by: Deniz Soysal
Published: (2009-07-01)

Monadic Effect Algebras
by: Yuxi Zou, et al.
Published: (2022-01-01)

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

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

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

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

Notions of Monad Strength
by: Philip Mulry
Published: (2013-09-01)

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

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)

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

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)

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)

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

Smart Choices and the Selection Monad
by: Martin Abadi, et al.
Published: (2023-04-01)

Evaluation strategies for monadic computations
by: Tomas Petricek
Published: (2012-02-01)

On Monads and Substantivities. Or Leibniz and Zubiri
by: Diego Gracia
Published: (2015-09-01)

Scope ambiguities, monads and strengths
by: Justyna Grudzinska, et al.
Published: (2017-11-01)

Monad Transformers for Backtracking Search
by: Jules Hedges
Published: (2014-06-01)

Recursive Definitions of Monadic Functions
by: Alexander Krauss
Published: (2010-12-01)