Davide Ancona, Paola Giannini, Elena Zucca. Type safe incremental rebinding. Mathematical Structures in Computer Science, 27(2):94-122, 2017. [doi]
@article{AnconaGZ17, title = {Type safe incremental rebinding}, author = {Davide Ancona and Paola Giannini and Elena Zucca}, year = {2017}, doi = {10.1017/S0960129515000109}, url = {http://dx.doi.org/10.1017/S0960129515000109}, researchr = {https://researchr.org/publication/AnconaGZ17}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {27}, number = {2}, pages = {94-122}, }