Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
Delta Lenses over Inductive Types
BX, 2012.
@article{BX-2012-PachecoCH,
author = "Hugo Pacheco and Alcino Cunha and Zhenjiang Hu",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/713",
journal = "{Electronic Communications of the EASST}",
pages = "21--37",
title = "{Delta Lenses over Inductive Types}",
volume = 49,
year = 2012,
}