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)