Merkliste 
 1 Ergebnisse 
 
1

A Co-contextual Type Checker for Featherweight Java:

Kuci, Edlira ; Erdweg, Sebastian ; Bracevac, Oliver..
Is Part Of LIPIcs, Volume 74, 31st European Conference on Object-Oriented Programming (ECOOP 2017).  , 2017