Reflections on monadic lenses

Reflections on monadic lenses

Bidirectional transformations (bx) have primarily been modeled as pure functions, and do not account for the possibility of the side-effects that are available in most programming languages. Recently several formulations of bx that use monads to account for effects have been proposed, both among pra...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Abou-Saleh, F, Cheney, J, Gibbons, J, McKinna, J, Stevens, P
स्वरूप:	Conference item
प्रकाशित:	Springer 2016

समान संसाधन

Entangled State Monads
द्वारा: Cheney, J, और अन्य
प्रकाशित: (2014)

Notions of Bidirectional Computation and Entangled State Monads
द्वारा: Abou-Saleh, F, और अन्य
प्रकाशित: (2015)

Introduction to bidirectional transformations
द्वारा: Abou-Saleh, F, और अन्य
प्रकाशित: (2018)

Towards a Repository of BX Examples
द्वारा: Cheney, J, और अन्य
प्रकाशित: (2014)

On Principles of Least Change and Least Surprise for Bidirectional Transformations
द्वारा: Cheney, J, और अन्य
प्रकाशित: (2017)

Coalgebraic aspects of bidirectional computation
द्वारा: Abou-Saleh, F, और अन्य
प्रकाशित: (2017)

Monads for behaviour
द्वारा: Piróg, M, और अन्य
प्रकाशित: (2013)

Monads for behaviour
द्वारा: Piróg, M, और अन्य
प्रकाशित: (2013)

Sensitivity of Inherent Optical Properties From Ocean Reflectance Inversion Models to Satellite Instrument Wavelength Suites
द्वारा: P. Jeremy Werdell, और अन्य
प्रकाशित: (2019-03-01)

The coinductive resumption monad
द्वारा: Piróg, M, और अन्य
प्रकाशित: (2014)

The coinductive resumption monad
द्वारा: Piróg, M, और अन्य
प्रकाशित: (2014)

Unifying Theories of Programming with Monads
द्वारा: Gibbons, J
प्रकाशित: (2012)

Algorithm design with the selection monad
द्वारा: Hartmann, J, और अन्य
प्रकाशित: (2023)

A Monadic Interpretation of Tactics
द्वारा: Martin, A, और अन्य
प्रकाशित: (2015)

Quantitative information flow with Monads in Haskell
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2020)

Tracing monadic computations and representing effects
द्वारा: Pirog, M, और अन्य
प्रकाशित: (2012)

Maximum Segment Sum‚ Monadically (distilled tutorial)
द्वारा: Gibbons, J
प्रकाशित: (2011)

Just do it: simple monadic equational reasoning
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2011)

Just do It: Simple Monadic Equational Reasoning
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2011)

Just do it: Simple monadic equational reasoning
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2011)

Just do It: Simple Monadic Equational Reasoning
द्वारा: Gibbons, J, और अन्य
प्रकाशित: (2011)

The Touring Musician: Repetition and Authenticity in Performance
द्वारा: Daniel R. McKinna
प्रकाशित: (2014-01-01)

Tracing monadic computations and representing effects
द्वारा: Maciej Piróg, और अन्य
प्रकाशित: (2012-02-01)

Maximum Segment Sum, Monadically (distilled tutorial)
द्वारा: Jeremy Gibbons
प्रकाशित: (2011-09-01)

Afghanistan electrical energy and trans-boundary water systems analyses: Challenges and opportunities
द्वारा: Saadatullah Ahmadzai, और अन्य
प्रकाशित: (2018-11-01)

Corecursive Algebras, Corecursive Monads and Bloom Monads
द्वारा: Jiří Adámek, और अन्य
प्रकाशित: (2014-09-01)

The monadic theory of toric words
द्वारा: Berthé, V, और अन्य
प्रकाशित: (2024)

Of Tactics and Monads
द्वारा: Martin, A
प्रकाशित: (1996)

Monadic Datalog Containment
द्वारा: Benedikt, M, और अन्य
प्रकाशित: (2012)

Monadic Datalog Containment
द्वारा: Benedikt, M, और अन्य
प्रकाशित: (2012)

Deriving monad transformers
द्वारा: Hinze, R
प्रकाशित: (1999)

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)