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)