|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| DGV20 (In proceedings) | |
| Author(s) | Mariangiola Dezani-Ciancaglini, Paola Giannini and Betti Venneri |
| Title | « Deconfined Intersection Types in Java » |
| In | Gabbrielli's Festschrift |
| Series | OASIcs |
| Editor(s) | Frank S. de Boer and Jacopo Mauro |
| Volume | 86 |
| Page(s) | 3:1--3:25 |
| Year | 2020 |
| Publisher | Schloss Dagstuhl--Leibniz-Zentrum für Informatik |
| ISBN number | 978-3-95977-171-9 |
| ISSN number | 2190-6807 |
| URL | https://doi.org/10.4230/OASIcs.Gabbrielli.3 |
| BibTeX code |
@inproceedings{DGV20,
volume = {86},
issn = {2190-6807},
author = {Mariangiola Dezani-Ciancaglini and Paola Giannini and Betti
Venneri},
series = {OASIcs},
booktitle = {Gabbrielli's Festschrift},
editor = {de Boer, Frank S. and Mauro, Jacopo},
url = {https://doi.org/10.4230/OASIcs.Gabbrielli.3},
isbn = {978-3-95977-171-9},
title = {Deconfined Intersection Types in Java},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
pages = {3:1--3:25},
year = {2020},
}
|
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)