TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

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]

Erdweg, Sebastian and Bračevac, Oliver and Kuci, Edlira and Krebs, Matthias and Mezini, Mira (2015):
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, New York, NY, USA, ACM, pp. 880-897, [Online-Edition: http://doi.acm.org/10.1145/2814270.2814277],
[Book Section]

This list was generated on Tue Jun 25 01:26:15 2019 CEST.