%0 Journal Article %1 journals/mscs/AnconaGZ17 %A Ancona, Davide %A Giannini, Paola %A Zucca, Elena %D 2017 %J Math. Struct. Comput. Sci. %K dblp %N 2 %P 94-122 %T Type safe incremental rebinding. %U http://dblp.uni-trier.de/db/journals/mscs/mscs27.html#AnconaGZ17 %V 27

@article{journals/mscs/AnconaGZ17, added-at = {2020-12-29T00:00:00.000+0100}, author = {Ancona, Davide and Giannini, Paola and Zucca, Elena}, biburl = {https://www.bibsonomy.org/bibtex/23d0ba2193d45c58b030af39e5f9df575/dblp}, ee = {https://doi.org/10.1017/S0960129515000109}, interhash = {71f69f87513c666ce8ec7bf7787209f0}, intrahash = {3d0ba2193d45c58b030af39e5f9df575}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {94-122}, timestamp = {2024-04-08T13:17:08.000+0200}, title = {Type safe incremental rebinding.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs27.html#AnconaGZ17}, volume = 27, year = 2017 }