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)