Delta Lenses over Inductive Types

Pacheco, H.; Cunha, A.; Hu, Z.

by H. Pacheco, A. Cunha, Z. Hu

Reference:

H. Pacheco, A. Cunha, Z. Hu, Delta Lenses over Inductive Types, In Electronic Communications of the EASST, article, , vol. 49, 2012. [slides] [tech report]

Bibtex Entry:

@article{deltalenses,
 author = {Pacheco, H. and Cunha, A. and Hu, Z.},
 title = {Delta Lenses over Inductive Types},
 journal = {Electronic Communications of the EASST},
 volume = {49},
 note = {Proceeding of the 1st International Workshop on Bidirectional Transformations (BX 2012)},
 year = {2012},
 url = {publications/bx12delta.pdf},
 comment={<a href="publications/bx12-slides.pdf">[slides]</a> <a href="publications/dlenses-tr.pdf">[tech report]</a>}
}