Of Tactics and Monads

Of Tactics and Monads

Podrobná bibliografie
Hlavní autor:	Martin, A
Médium:	Record
Vydáno:	1996

Podobné jednotky

A Monadic Interpretation of Tactics
Autor: Martin, A, a další
Vydáno: (2015)

Corecursive Algebras, Corecursive Monads and Bloom Monads
Autor: Jiří Adámek, a další
Vydáno: (2014-09-01)

Monads for behaviour
Autor: Piróg, M, a další
Vydáno: (2013)

Monads for behaviour
Autor: Piróg, M, a další
Vydáno: (2013)

Smart Choices and the Selection Monad
Autor: Martin Abadi, a další
Vydáno: (2023-04-01)

Deriving monad transformers
Autor: Hinze, R
Vydáno: (1999)

Monadic Datalog Containment
Autor: Benedikt, M, a další
Vydáno: (2012)

The coinductive resumption monad
Autor: Piróg, M, a další
Vydáno: (2014)

Monadic Datalog Containment
Autor: Benedikt, M, a další
Vydáno: (2012)

Entangled State Monads
Autor: Cheney, J, a další
Vydáno: (2014)

The coinductive resumption monad
Autor: Piróg, M, a další
Vydáno: (2014)

Reflections on monadic lenses
Autor: Abou-Saleh, F, a další
Vydáno: (2016)

MONAD KAVRAMININ TEMELLERİ
Autor: Deniz Soysal
Vydáno: (2009-07-01)

Monadic Effect Algebras
Autor: Yuxi Zou, a další
Vydáno: (2022-01-01)

Monads need not be endofunctors
Autor: Thosten Altenkirch, a další
Vydáno: (2015-03-01)

Monad Metrizable Space
Autor: Orhan Göçür
Vydáno: (2020-10-01)

On Discrete Presheaf Monads
Autor: Gao Zhang, a další
Vydáno: (2023-06-01)

On saturated prefilter monads
Autor: Gao Zhang, a další
Vydáno: (2023-02-01)

Notions of Monad Strength
Autor: Philip Mulry
Vydáno: (2013-09-01)

Monadic decomposabily of regular relations
Autor: Barceló, P, a další
Vydáno: (2019)

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
Autor: Jason P. Bell, a další
Vydáno: (2012-05-01)

Efficient Monadic−style Backtracking
Autor: Hinze, R
Vydáno: (1996)

Equivalence Problems for Monadic Schemas
Autor: Qualitz, Joseph E.
Vydáno: (2023)

The monadic theory of toric words
Autor: Berthé, V, a další
Vydáno: (2024)

Quantifiers on languages and codensity monads
Autor: Gehrke, M, a další
Vydáno: (2017)

Deriving backtracking monad transformers
Autor: Hinze, R
Vydáno: (2000)

Quantifiers on languages and codensity monads
Autor: Gehrke, M, a další
Vydáno: (2021)

Unifying Theories of Programming with Monads
Autor: Gibbons, J
Vydáno: (2012)

Arrows‚ like Monads‚ are Monoids
Autor: Heunen, C, a další
Vydáno: (2006)

The Different Aspects of Monads and Mixins
Autor: dos Santos Oliveira, B
Vydáno: (2009)

Algorithm design with the selection monad
Autor: Hartmann, J, a další
Vydáno: (2023)

The quantum monad on relational structures
Autor: Abramsky, S, a další
Vydáno: (2017)

Evaluation strategies for monadic computations
Autor: Tomas Petricek
Vydáno: (2012-02-01)

On Monads and Substantivities. Or Leibniz and Zubiri
Autor: Diego Gracia
Vydáno: (2015-09-01)

Scope ambiguities, monads and strengths
Autor: Justyna Grudzinska, a další
Vydáno: (2017-11-01)

Monad Transformers for Backtracking Search
Autor: Jules Hedges
Vydáno: (2014-06-01)

Cognitive Factors Influencing Utterance Fluency in L2 Dialogues: Monadic and Non-monadic Perspectives
Autor: Ruiling Feng, a další
Vydáno: (2022-06-01)

Monad bundles in heterotic string compactifications
Autor: Anderson, L, a další
Vydáno: (2008)

Monad bundles in heterotic string compactifications
Autor: Anderson, L, a další
Vydáno: (2008)

Heterotic instantons for monad and extension bundles
Autor: Buchbinder, EI, a další
Vydáno: (2020)