Relating algebraic and coalgebraic descriptions of lenses (2012)

First Author: Gibbons J.
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