Prof. Dr. rer. nat. Martin Plümicke
Well-typings for Java_λ
In proceedings of the 9th international symposium on principles and practice of programming in Java
ACM International Conference Proceeding Series
(Kongens Lyngby, Denmark, 24 - 26 August 2011)
