Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Eta-expansion does The Trick, , und . ACM Trans. Program. Lang. Syst., 18 (6): 730--751 (1996)Modern Compiler Implementation in Java, 2nd edition., und . Cambridge University Press, (2002)Object-oriented type systems., und . Wiley professional computing Wiley, (1994)Register Allocation via Coloring of Chordal Graphs.. CATS, Volume 65 von CRPIT, Seite 3. Australian Computer Society, (2007)The Essence of Eta-Expansion in Partial Evaluation., , und . PEPM, Seite 11-20. University of Melbourne, Australia, Department of Computer Science, (1994)Vertical Object Layout and Compression for Fixed Heaps., und . Semantics and Algebraic Specification, Volume 5700 von Lecture Notes in Computer Science, Seite 376-408. Springer, (2009)Overloading Is NP-Complete - A Tutorial Dedicated to Dexter Kozen.. Logic and Program Semantics, Volume 7230 von Lecture Notes in Computer Science, Seite 204-218. Springer, (2012)What is Type-Safe Code Reuse?, und . ECOOP, Volume 512 von Lecture Notes in Computer Science, Seite 325-341. Springer, (1991)Efficient Recursive Subtyping., , und . POPL, Seite 419-428. ACM Press, (1993)Constrained Types and Their Expressiveness., und . ACM Trans. Program. Lang. Syst., 18 (5): 519-527 (1996)