Pacheco, Hugo, Alcino Cunha, and Zhenjiang Hu. 2012. “Delta Lenses over Inductive Types”. Electronic Communications of the EASST 49 (July). https://doi.org/10.14279/tuj.eceasst.49.713.