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)