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)

Relative Monads Formalised
অনুযায়ী: Thorsten Altenkirch, অন্যান্য
প্রকাশিত: (2014-07-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)

Recursive Definitions of Monadic Functions
অনুযায়ী: Alexander Krauss
প্রকাশিত: (2010-12-01)

The Expectation Monad in Quantum Foundations
অনুযায়ী: Bart Jacobs, অন্যান্য
প্রকাশিত: (2012-10-01)

Cognitive Factors Influencing Utterance Fluency in L2 Dialogues: Monadic and Non-monadic Perspectives
অনুযায়ী: Ruiling Feng, অন্যান্য
প্রকাশিত: (2022-06-01)