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)