A co-contextual formulation of type rules and its application to incremental type checking.

Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini

Browse the full OOPSLA paper archive.