Generic point-free lenses

Lenses are one the most popular approaches to define bidirectional transformations between data models. A bidirectional transformation with view-update, denoted a lens, encompasses the definition of a forward transformation projecting concrete models into abstract views, together with a backward tra...

Full description

Bibliographic Details
Main Author: Pacheco, Hugo (author)
Other Authors: Cunha, Alcino (author)
Format: conferencePaper
Language:eng
Published: 2010
Subjects:
Point-free
Bidirectional transformations
Lenses
Recursion patterns
Inductive types
Science & Technology
Online Access:http://hdl.handle.net/1822/38994
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/38994

Internet

http://hdl.handle.net/1822/38994

Similar Items