Prof. Dr. rer. nat. Martin Plümicke
Formalization of the Java_lambda type system
In Proceedings of the 27. Workshop der GI-Fachgruppe 2.1.4
"Programmiersprachen und Rechenkonzepte"
(3. - 5. Mai 2010, Bad Honnef)
In Proceedings of the 27. Workshop der GI-Fachgruppe 2.1.4
"Programmiersprachen und Rechenkonzepte"
(3. - 5. Mai 2010, Bad Honnef)
