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...

书目详细资料
Main Authors:	Abou-Saleh, F, Cheney, J, Gibbons, J, McKinna, J, Stevens, P
格式:	Conference item
出版:	Springer 2016

相似书籍

Entangled State Monads
由: Cheney, J, et al.
出版: (2014)

Notions of Bidirectional Computation and Entangled State Monads
由: Abou-Saleh, F, et al.
出版: (2015)

Introduction to bidirectional transformations
由: Abou-Saleh, F, et al.
出版: (2018)

Towards a Repository of BX Examples
由: Cheney, J, et al.
出版: (2014)

On Principles of Least Change and Least Surprise for Bidirectional Transformations
由: Cheney, J, et al.
出版: (2017)

Coalgebraic aspects of bidirectional computation
由: Abou-Saleh, F, et al.
出版: (2017)

Monads for behaviour
由: Piróg, M, et al.
出版: (2013)

Monads for behaviour
由: Piróg, M, et al.
出版: (2013)

Sensitivity of Inherent Optical Properties From Ocean Reflectance Inversion Models to Satellite Instrument Wavelength Suites
由: P. Jeremy Werdell, et al.
出版: (2019-03-01)

The coinductive resumption monad
由: Piróg, M, et al.
出版: (2014)

The coinductive resumption monad
由: Piróg, M, et al.
出版: (2014)

Unifying Theories of Programming with Monads
由: Gibbons, J
出版: (2012)

Algorithm design with the selection monad
由: Hartmann, J, et al.
出版: (2023)

A Monadic Interpretation of Tactics
由: Martin, A, et al.
出版: (2015)

Quantitative information flow with Monads in Haskell
由: Gibbons, J, et al.
出版: (2020)

Tracing monadic computations and representing effects
由: Pirog, M, et al.
出版: (2012)

Maximum Segment Sum‚ Monadically (distilled tutorial)
由: Gibbons, J
出版: (2011)

Just do it: simple monadic equational reasoning
由: Gibbons, J, et al.
出版: (2011)

Just do It: Simple Monadic Equational Reasoning
由: Gibbons, J, et al.
出版: (2011)

Just do it: Simple monadic equational reasoning
由: Gibbons, J, et al.
出版: (2011)

Just do It: Simple Monadic Equational Reasoning
由: Gibbons, J, et al.
出版: (2011)

The Touring Musician: Repetition and Authenticity in Performance
由: Daniel R. McKinna
出版: (2014-01-01)

Tracing monadic computations and representing effects
由: Maciej Piróg, et al.
出版: (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, et al.
出版: (2018-11-01)

Corecursive Algebras, Corecursive Monads and Bloom Monads
由: Jiří Adámek, et al.
出版: (2014-09-01)

The monadic theory of toric words
由: Berthé, V, et al.
出版: (2024)

Of Tactics and Monads
由: Martin, A
出版: (1996)

Monadic Datalog Containment
由: Benedikt, M, et al.
出版: (2012)

Monadic Datalog Containment
由: Benedikt, M, et al.
出版: (2012)

Deriving monad transformers
由: Hinze, R
出版: (1999)

MONAD KAVRAMININ TEMELLERİ
由: Deniz Soysal
出版: (2009-07-01)

Monadic Effect Algebras
由: Yuxi Zou, et al.
出版: (2022-01-01)

Monads need not be endofunctors
由: Thosten Altenkirch, et al.
出版: (2015-03-01)

Monad Metrizable Space
由: Orhan Göçür
出版: (2020-10-01)

On Discrete Presheaf Monads
由: Gao Zhang, et al.
出版: (2023-06-01)

On saturated prefilter monads
由: Gao Zhang, et al.
出版: (2023-02-01)

Notions of Monad Strength
由: Philip Mulry
出版: (2013-09-01)

Relative Monads Formalised
由: Thorsten Altenkirch, et al.
出版: (2014-07-01)

Monadic decomposabily of regular relations
由: Barceló, P, et al.
出版: (2019)