Of Tactics and Monads

Of Tactics and Monads

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Martin, A
Формат:	Record
Хэвлэсэн:	1996

Ижил төстэй зүйлс

A Monadic Interpretation of Tactics
-н: Martin, A, зэрэг
Хэвлэсэн: (2015)

Corecursive Algebras, Corecursive Monads and Bloom Monads
-н: Jiří Adámek, зэрэг
Хэвлэсэн: (2014-09-01)

Monads for behaviour
-н: Piróg, M, зэрэг
Хэвлэсэн: (2013)

Monads for behaviour
-н: Piróg, M, зэрэг
Хэвлэсэн: (2013)

Smart Choices and the Selection Monad
-н: Martin Abadi, зэрэг
Хэвлэсэн: (2023-04-01)

Deriving monad transformers
-н: Hinze, R
Хэвлэсэн: (1999)

Monadic Datalog Containment
-н: Benedikt, M, зэрэг
Хэвлэсэн: (2012)

The coinductive resumption monad
-н: Piróg, M, зэрэг
Хэвлэсэн: (2014)

Monadic Datalog Containment
-н: Benedikt, M, зэрэг
Хэвлэсэн: (2012)

Entangled State Monads
-н: Cheney, J, зэрэг
Хэвлэсэн: (2014)

The coinductive resumption monad
-н: Piróg, M, зэрэг
Хэвлэсэн: (2014)

Reflections on monadic lenses
-н: Abou-Saleh, F, зэрэг
Хэвлэсэн: (2016)

MONAD KAVRAMININ TEMELLERİ
-н: Deniz Soysal
Хэвлэсэн: (2009-07-01)

Monadic Effect Algebras
-н: Yuxi Zou, зэрэг
Хэвлэсэн: (2022-01-01)

Monads need not be endofunctors
-н: Thosten Altenkirch, зэрэг
Хэвлэсэн: (2015-03-01)

Monad Metrizable Space
-н: Orhan Göçür
Хэвлэсэн: (2020-10-01)

On Discrete Presheaf Monads
-н: Gao Zhang, зэрэг
Хэвлэсэн: (2023-06-01)

On saturated prefilter monads
-н: Gao Zhang, зэрэг
Хэвлэсэн: (2023-02-01)

Notions of Monad Strength
-н: Philip Mulry
Хэвлэсэн: (2013-09-01)

Monadic decomposabily of regular relations
-н: Barceló, P, зэрэг
Хэвлэсэн: (2019)

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
-н: Jason P. Bell, зэрэг
Хэвлэсэн: (2012-05-01)

Efficient Monadic−style Backtracking
-н: Hinze, R
Хэвлэсэн: (1996)

Equivalence Problems for Monadic Schemas
-н: Qualitz, Joseph E.
Хэвлэсэн: (2023)

The monadic theory of toric words
-н: Berthé, V, зэрэг
Хэвлэсэн: (2024)

Quantifiers on languages and codensity monads
-н: Gehrke, M, зэрэг
Хэвлэсэн: (2017)

Deriving backtracking monad transformers
-н: Hinze, R
Хэвлэсэн: (2000)

Quantifiers on languages and codensity monads
-н: Gehrke, M, зэрэг
Хэвлэсэн: (2021)

Unifying Theories of Programming with Monads
-н: Gibbons, J
Хэвлэсэн: (2012)

Arrows‚ like Monads‚ are Monoids
-н: Heunen, C, зэрэг
Хэвлэсэн: (2006)

The Different Aspects of Monads and Mixins
-н: dos Santos Oliveira, B
Хэвлэсэн: (2009)

Algorithm design with the selection monad
-н: Hartmann, J, зэрэг
Хэвлэсэн: (2023)

The quantum monad on relational structures
-н: Abramsky, S, зэрэг
Хэвлэсэн: (2017)

Evaluation strategies for monadic computations
-н: Tomas Petricek
Хэвлэсэн: (2012-02-01)

On Monads and Substantivities. Or Leibniz and Zubiri
-н: Diego Gracia
Хэвлэсэн: (2015-09-01)

Scope ambiguities, monads and strengths
-н: Justyna Grudzinska, зэрэг
Хэвлэсэн: (2017-11-01)

Monad Transformers for Backtracking Search
-н: Jules Hedges
Хэвлэсэн: (2014-06-01)

Cognitive Factors Influencing Utterance Fluency in L2 Dialogues: Monadic and Non-monadic Perspectives
-н: Ruiling Feng, зэрэг
Хэвлэсэн: (2022-06-01)

Monad bundles in heterotic string compactifications
-н: Anderson, L, зэрэг
Хэвлэсэн: (2008)

Monad bundles in heterotic string compactifications
-н: Anderson, L, зэрэг
Хэвлэсэн: (2008)

Heterotic instantons for monad and extension bundles
-н: Buchbinder, EI, зэрэг
Хэвлэсэн: (2020)