TU Darmstadt / ULB / TUbiblio

A Co-contextual Type Checker for Featherweight Java

Kuci, Edlira and Erdweg, Sebastian and Bračevac, Oliver and Bejleri, Andi and Mezini, Mira (2017):
A Co-contextual Type Checker for Featherweight Java.
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), pp. 18:1-18:26, DOI: 10.4230/LIPIcs.ECOOP.2017.18, [Online-Edition: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262],
[Book Section]

Item Type: Book Section
Erschienen: 2017
Creators: Kuci, Edlira and Erdweg, Sebastian and Bračevac, Oliver and Bejleri, Andi and Mezini, Mira
Title: A Co-contextual Type Checker for Featherweight Java
Language: English
Title of Book: 31st European Conference on Object-Oriented Programming (ECOOP 2017)
Series Name: Leibniz International Proceedings in Informatics (LIPIcs)
Volume: 74
Divisions: 20 Department of Computer Science > Software Technology
20 Department of Computer Science
Date Deposited: 06 Jul 2017 12:27
DOI: 10.4230/LIPIcs.ECOOP.2017.18
Official URL: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262
Export:

Optionen (nur für Redakteure)

View Item View Item