Entangled state monads

James Cheney; James McKinna; Perdita Stevens; Jeremy Gibbons; Faris Abou-Saleh

Entangled state monads

James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh

Research output: Contribution to journal › Conference article › peer-review

Abstract

We present a monadic treatment of symmetric state-based bidirectional transformations, and show how it arises naturally from the well-known asymmetric lens-based account. We introduce two presentations of a concept we dub the entangled state monad, and prove their equivalence. As a step towards a unifying account of bidirectionality in general, we exhibit existing classes of statebased approaches from the literature as instances of our new constructions. This extended abstract reports on work in progress.

Original language	English
Pages (from-to)	108-111
Number of pages	4
Journal	CEUR Workshop Proceedings
Volume	1133
Publication status	Published - 6 Mar 2014
Event	2014 Joint Workshops on International Conference on Extending Database Technology and International Conference on Database Theory - Athens, Greece Duration: 28 Mar 2014 → 28 Mar 2014

ASJC Scopus subject areas

General Computer Science

Access to Document

http://ceur-ws.org/Vol-1133/paper-17.pdfLicence: CC BY-NC-ND

Cite this

@article{0047ecfcc06640a9ba502d84ab0baa88,

title = "Entangled state monads",

abstract = "We present a monadic treatment of symmetric state-based bidirectional transformations, and show how it arises naturally from the well-known asymmetric lens-based account. We introduce two presentations of a concept we dub the entangled state monad, and prove their equivalence. As a step towards a unifying account of bidirectionality in general, we exhibit existing classes of statebased approaches from the literature as instances of our new constructions. This extended abstract reports on work in progress.",

author = "James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons and Faris Abou-Saleh",

year = "2014",

month = mar,

day = "6",

language = "English",

volume = "1133",

pages = "108--111",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "2014 Joint Workshops on International Conference on Extending Database Technology and International Conference on Database Theory, EDBT/ICDT-WS 2014 ; Conference date: 28-03-2014 Through 28-03-2014",

}

TY - JOUR

T1 - Entangled state monads

AU - Cheney, James

AU - McKinna, James

AU - Stevens, Perdita

AU - Gibbons, Jeremy

AU - Abou-Saleh, Faris

PY - 2014/3/6

Y1 - 2014/3/6

N2 - We present a monadic treatment of symmetric state-based bidirectional transformations, and show how it arises naturally from the well-known asymmetric lens-based account. We introduce two presentations of a concept we dub the entangled state monad, and prove their equivalence. As a step towards a unifying account of bidirectionality in general, we exhibit existing classes of statebased approaches from the literature as instances of our new constructions. This extended abstract reports on work in progress.

AB - We present a monadic treatment of symmetric state-based bidirectional transformations, and show how it arises naturally from the well-known asymmetric lens-based account. We introduce two presentations of a concept we dub the entangled state monad, and prove their equivalence. As a step towards a unifying account of bidirectionality in general, we exhibit existing classes of statebased approaches from the literature as instances of our new constructions. This extended abstract reports on work in progress.

UR - https://www.scopus.com/pages/publications/84923652454

M3 - Conference article

AN - SCOPUS:84923652454

SN - 1613-0073

VL - 1133

SP - 108

EP - 111

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 2014 Joint Workshops on International Conference on Extending Database Technology and International Conference on Database Theory

Y2 - 28 March 2014 through 28 March 2014

ER -

Entangled state monads

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this