External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Deconfined Intersection Types in Java

Mariangiola Dezani-Ciancaglini, Paola Giannini, Betti Venneri. Deconfined Intersection Types in Java. In Frank S. de Boer, Jacopo Mauro, editors, Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. Volume 86 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Authors

Mariangiola Dezani-Ciancaglini

This author has not been identified. It may be one of the following persons: Look up 'Mariangiola Dezani-Ciancaglini' in Google

Paola Giannini

This author has not been identified. It may be one of the following persons: Look up 'Paola Giannini' in Google

Betti Venneri

This author has not been identified. Look up 'Betti Venneri' in Google
runs on