Of Tactics and Monads

Of Tactics and Monads

Opis bibliograficzny
1. autor:	Martin, A
Format:	Record
Wydane:	1996

Podobne zapisy

A Monadic Interpretation of Tactics
od: Martin, A, i wsp.
Wydane: (2015)

Corecursive Algebras, Corecursive Monads and Bloom Monads
od: Jiří Adámek, i wsp.
Wydane: (2014-09-01)

Monads for behaviour
od: Piróg, M, i wsp.
Wydane: (2013)

Monads for behaviour
od: Piróg, M, i wsp.
Wydane: (2013)

Smart Choices and the Selection Monad
od: Martin Abadi, i wsp.
Wydane: (2023-04-01)

Deriving monad transformers
od: Hinze, R
Wydane: (1999)

Monadic Datalog Containment
od: Benedikt, M, i wsp.
Wydane: (2012)

The coinductive resumption monad
od: Piróg, M, i wsp.
Wydane: (2014)

Monadic Datalog Containment
od: Benedikt, M, i wsp.
Wydane: (2012)

Entangled State Monads
od: Cheney, J, i wsp.
Wydane: (2014)

The coinductive resumption monad
od: Piróg, M, i wsp.
Wydane: (2014)

Reflections on monadic lenses
od: Abou-Saleh, F, i wsp.
Wydane: (2016)

MONAD KAVRAMININ TEMELLERİ
od: Deniz Soysal
Wydane: (2009-07-01)

Monadic Effect Algebras
od: Yuxi Zou, i wsp.
Wydane: (2022-01-01)

Monads need not be endofunctors
od: Thosten Altenkirch, i wsp.
Wydane: (2015-03-01)

Monad Metrizable Space
od: Orhan Göçür
Wydane: (2020-10-01)

On Discrete Presheaf Monads
od: Gao Zhang, i wsp.
Wydane: (2023-06-01)

On saturated prefilter monads
od: Gao Zhang, i wsp.
Wydane: (2023-02-01)

Notions of Monad Strength
od: Philip Mulry
Wydane: (2013-09-01)

Relative Monads Formalised
od: Thorsten Altenkirch, i wsp.
Wydane: (2014-07-01)

Monadic decomposabily of regular relations
od: Barceló, P, i wsp.
Wydane: (2019)

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
od: Jason P. Bell, i wsp.
Wydane: (2012-05-01)

Efficient Monadic−style Backtracking
od: Hinze, R
Wydane: (1996)

Equivalence Problems for Monadic Schemas
od: Qualitz, Joseph E.
Wydane: (2023)

The monadic theory of toric words
od: Berthé, V, i wsp.
Wydane: (2024)

Quantifiers on languages and codensity monads
od: Gehrke, M, i wsp.
Wydane: (2017)

Deriving backtracking monad transformers
od: Hinze, R
Wydane: (2000)

Quantifiers on languages and codensity monads
od: Gehrke, M, i wsp.
Wydane: (2021)

Unifying Theories of Programming with Monads
od: Gibbons, J
Wydane: (2012)

Arrows‚ like Monads‚ are Monoids
od: Heunen, C, i wsp.
Wydane: (2006)

The Different Aspects of Monads and Mixins
od: dos Santos Oliveira, B
Wydane: (2009)

Algorithm design with the selection monad
od: Hartmann, J, i wsp.
Wydane: (2023)

The quantum monad on relational structures
od: Abramsky, S, i wsp.
Wydane: (2017)

Evaluation strategies for monadic computations
od: Tomas Petricek
Wydane: (2012-02-01)

On Monads and Substantivities. Or Leibniz and Zubiri
od: Diego Gracia
Wydane: (2015-09-01)

Scope ambiguities, monads and strengths
od: Justyna Grudzinska, i wsp.
Wydane: (2017-11-01)

Monad Transformers for Backtracking Search
od: Jules Hedges
Wydane: (2014-06-01)

Recursive Definitions of Monadic Functions
od: Alexander Krauss
Wydane: (2010-12-01)

The Expectation Monad in Quantum Foundations
od: Bart Jacobs, i wsp.
Wydane: (2012-10-01)

Cognitive Factors Influencing Utterance Fluency in L2 Dialogues: Monadic and Non-monadic Perspectives
od: Ruiling Feng, i wsp.
Wydane: (2022-06-01)