Of Tactics and Monads

Of Tactics and Monads

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Martin, A
Formáid:	Record
Foilsithe / Cruthaithe:	1996

Míreanna comhchosúla

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

Corecursive Algebras, Corecursive Monads and Bloom Monads
de réir: Jiří Adámek, et al.
Foilsithe / Cruthaithe: (2014-09-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)

Smart Choices and the Selection Monad
de réir: Martin Abadi, et al.
Foilsithe / Cruthaithe: (2023-04-01)

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

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

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

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

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

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

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

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

Monadic Effect Algebras
de réir: Yuxi Zou, et al.
Foilsithe / Cruthaithe: (2022-01-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)

Monadic decomposabily of regular relations
de réir: Barceló, P, et al.
Foilsithe / Cruthaithe: (2019)

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
de réir: Jason P. Bell, et al.
Foilsithe / Cruthaithe: (2012-05-01)

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)

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

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

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

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

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

Arrows‚ like Monads‚ are Monoids
de réir: Heunen, C, et al.
Foilsithe / Cruthaithe: (2006)

The Different Aspects of Monads and Mixins
de réir: dos Santos Oliveira, B
Foilsithe / Cruthaithe: (2009)

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

The quantum monad on relational structures
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2017)

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

On Monads and Substantivities. Or Leibniz and Zubiri
de réir: Diego Gracia
Foilsithe / Cruthaithe: (2015-09-01)

Scope ambiguities, monads and strengths
de réir: Justyna Grudzinska, et al.
Foilsithe / Cruthaithe: (2017-11-01)

Monad Transformers for Backtracking Search
de réir: Jules Hedges
Foilsithe / Cruthaithe: (2014-06-01)

Recursive Definitions of Monadic Functions
de réir: Alexander Krauss
Foilsithe / Cruthaithe: (2010-12-01)

The Expectation Monad in Quantum Foundations
de réir: Bart Jacobs, et al.
Foilsithe / Cruthaithe: (2012-10-01)

Cognitive Factors Influencing Utterance Fluency in L2 Dialogues: Monadic and Non-monadic Perspectives
de réir: Ruiling Feng, et al.
Foilsithe / Cruthaithe: (2022-06-01)