Relating Algebraic and Coalgebraic Descriptions of Lenses
Lenses are a heavily studied form of bidirectional transformation with diverse applications including database view updating, software development and memory management. Recent work has explored lenses category theoretically, and established that the category of lenses for a fixed \"view\"...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
2012
|