Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

DGV19 (In proceedings)
Author(s) Mariangiola Dezani-Ciancaglini, Paola Giannini and Betti Venneri
Title« Intersection Types in Java: back to the future »
InModels, Mindsets, Meta: The What, the How, and the Why Not?
SeriesLNCS
Editor(s) Tiziana Margaria, Susanne Graf and Kim G Larsen
Volume11200
Page(s)68--86
Year2018
PublisherSpringer
URLhttp://www.di.unito.it/~dezani/papers/dgv19.pdf

BibTeX code

@inproceedings{DGV19,
  volume = {11200},
  author = {Mariangiola Dezani-Ciancaglini and Paola Giannini and Betti
            Venneri},
  series = {LNCS},
  booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not?},
  editor = {Tiziana Margaria and Susanne Graf and Kim G Larsen},
  url = {http://www.di.unito.it/~dezani/papers/dgv19.pdf},
  title = {Intersection Types in Java: back to the future},
  publisher = {Springer},
  pages = {68--86},
  year = {2018},
}


 Chronological Overview 
 Type-Hierarchical Overview 
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)

Valid HTML 4.01!