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: 1.

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: OOPSLA 2015, 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 Sat Oct 31 02:35:29 2020 CET.