Relating Algebraic and Coalgebraic Descriptions of Lenses (2012)
Attributed to:
Reusability and Dependent Types
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://journal.ub.tu-berlin.de/eceasst/article/view/726
Type: Conference/Paper/Proceeding/Abstract
Volume: 49