Of Tactics and Monads

Of Tactics and Monads

Detaylı Bibliyografya
Yazar:	Martin, A
Materyal Türü:	Record
Baskı/Yayın Bilgisi:	1996

Benzer Materyaller

A Monadic Interpretation of Tactics
Yazar:: Martin, A, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Corecursive Algebras, Corecursive Monads and Bloom Monads
Yazar:: Jiří Adámek, ve diğerleri
Baskı/Yayın Bilgisi: (2014-09-01)

Monads for behaviour
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Monads for behaviour
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Smart Choices and the Selection Monad
Yazar:: Martin Abadi, ve diğerleri
Baskı/Yayın Bilgisi: (2023-04-01)

Deriving monad transformers
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1999)

Monadic Datalog Containment
Yazar:: Benedikt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

The coinductive resumption monad
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Monadic Datalog Containment
Yazar:: Benedikt, M, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Entangled State Monads
Yazar:: Cheney, J, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

The coinductive resumption monad
Yazar:: Piróg, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Reflections on monadic lenses
Yazar:: Abou-Saleh, F, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

MONAD KAVRAMININ TEMELLERİ
Yazar:: Deniz Soysal
Baskı/Yayın Bilgisi: (2009-07-01)

Monadic Effect Algebras
Yazar:: Yuxi Zou, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

Monads need not be endofunctors
Yazar:: Thosten Altenkirch, ve diğerleri
Baskı/Yayın Bilgisi: (2015-03-01)

Monad Metrizable Space
Yazar:: Orhan Göçür
Baskı/Yayın Bilgisi: (2020-10-01)

On Discrete Presheaf Monads
Yazar:: Gao Zhang, ve diğerleri
Baskı/Yayın Bilgisi: (2023-06-01)

On saturated prefilter monads
Yazar:: Gao Zhang, ve diğerleri
Baskı/Yayın Bilgisi: (2023-02-01)

Notions of Monad Strength
Yazar:: Philip Mulry
Baskı/Yayın Bilgisi: (2013-09-01)

Relative Monads Formalised
Yazar:: Thorsten Altenkirch, ve diğerleri
Baskı/Yayın Bilgisi: (2014-07-01)

Monadic decomposabily of regular relations
Yazar:: Barceló, P, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
Yazar:: Jason P. Bell, ve diğerleri
Baskı/Yayın Bilgisi: (2012-05-01)

Efficient Monadic−style Backtracking
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (1996)

Equivalence Problems for Monadic Schemas
Yazar:: Qualitz, Joseph E.
Baskı/Yayın Bilgisi: (2023)

The monadic theory of toric words
Yazar:: Berthé, V, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Quantifiers on languages and codensity monads
Yazar:: Gehrke, M, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Deriving backtracking monad transformers
Yazar:: Hinze, R
Baskı/Yayın Bilgisi: (2000)

Quantifiers on languages and codensity monads
Yazar:: Gehrke, M, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Unifying Theories of Programming with Monads
Yazar:: Gibbons, J
Baskı/Yayın Bilgisi: (2012)

Arrows‚ like Monads‚ are Monoids
Yazar:: Heunen, C, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

The Different Aspects of Monads and Mixins
Yazar:: dos Santos Oliveira, B
Baskı/Yayın Bilgisi: (2009)

Algorithm design with the selection monad
Yazar:: Hartmann, J, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

The quantum monad on relational structures
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Evaluation strategies for monadic computations
Yazar:: Tomas Petricek
Baskı/Yayın Bilgisi: (2012-02-01)

On Monads and Substantivities. Or Leibniz and Zubiri
Yazar:: Diego Gracia
Baskı/Yayın Bilgisi: (2015-09-01)

Scope ambiguities, monads and strengths
Yazar:: Justyna Grudzinska, ve diğerleri
Baskı/Yayın Bilgisi: (2017-11-01)

Monad Transformers for Backtracking Search
Yazar:: Jules Hedges
Baskı/Yayın Bilgisi: (2014-06-01)

Recursive Definitions of Monadic Functions
Yazar:: Alexander Krauss
Baskı/Yayın Bilgisi: (2010-12-01)

The Expectation Monad in Quantum Foundations
Yazar:: Bart Jacobs, ve diğerleri
Baskı/Yayın Bilgisi: (2012-10-01)

Cognitive Factors Influencing Utterance Fluency in L2 Dialogues: Monadic and Non-monadic Perspectives
Yazar:: Ruiling Feng, ve diğerleri
Baskı/Yayın Bilgisi: (2022-06-01)