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)