|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| AncGiaZuc15a (Article) | |
| Author(s) | Davide Ancona, Paola Giannini and Elena Zucca |
| Title | « Type safe incremental rebinding » |
| Journal | Mathematical Structures in Computer Science |
| Volume | 27 |
| Number | 2 |
| Page(s) | 94--122 |
| Year | 2017 |
| URL | https://doi.org/10.1017/S0960129515000109 |
| BibTeX code |
@article{AncGiaZuc15a,
number = {2},
volume = {27},
bibsource = {dblp computer science bibliography, http://dblp.org},
author = {Ancona, Davide and Giannini, Paola and Zucca, Elena},
url = {https://doi.org/10.1017/S0960129515000109},
title = {Type safe incremental rebinding},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/mscs/AnconaGZ17},
pages = {94--122},
journal = {Mathematical Structures in Computer Science},
doi = {10.1017/S0960129515000109},
year = {2017},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)