Prof. Dr. rer. nat. Martin Plümicke
Implementation of well-typings in Java_λ
Tagungsband des 16. Kolloquiums Programmiersprachen und Grundlagen der Programmierung (KPS’11), Herbert Kuchen, Tim A. Majchrzak, and Markus Müller Olm (Hrsg.), No. 132 in Arbeitsberichte des Instituts für Wirtschaftsinformatik, Seiten 103–113. Westflische Wilhelms–Universtät Münster, 2011.
