Author of the publication

Adding Type Parameterization to the Java Language.

, , and . OOPSLA, page 49-65. ACM, (1997)SIGPLAN Notices 32(10).

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Adding Type Parameterization to the Java Language., , and . OOPSLA, page 49-65. ACM, (1997)SIGPLAN Notices 32(10).Inlining of Virtual Methods., and . ECOOP, volume 1628 of Lecture Notes in Computer Science, page 258-278. Springer, (1999)Constraint-Based Type Inference and Parametric Polymorphism.. SAS, volume 864 of Lecture Notes in Computer Science, page 78-100. Springer, (1994)The evolution of an x86 virtual machine monitor., , , and . ACM SIGOPS Oper. Syst. Rev., 44 (4): 3-18 (2010)Concrete type inference: delivering object-oriented applications.. Stanford University, USA, (1995)Sifting Out the Gold., and . OOPSLA, page 355-370. ACM, (1994)OOPSLA'94, Addendum to the Proceedings: OOPS Messenger 5(4) October 1994.Software Techniques for Avoiding Hardware Virtualization Exits., , , and . USENIX Annual Technical Conference, page 373-385. USENIX Association, (2012)Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines., , and . PLDI, page 269-279. ACM, (1998)The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism.. ECOOP, volume 952 of Lecture Notes in Computer Science, page 2-26. Springer, (1995)Type Inference of SELF., , and . ECOOP, volume 707 of Lecture Notes in Computer Science, page 247-267. Springer, (1993)