Relating algebraic and coalgebraic descriptions of lenses (2012)
Attributed to:
Reusability and Dependent Types
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.14279/tuj.eceasst.49.726.742
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85028915920
Type: Journal Article/Review
Volume: 49
Parent Publication: Electronic Communications of the EASST
ISSN: 18632122