Autor der Publikation

Featherweight Java: a minimal core calculus for Java and GJ.

, , und . ACM Trans. Program. Lang. Syst., 23 (3): 396-450 (2001)

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

Differential Privacy Under Fire., , und . USENIX Security Symposium, USENIX Association, (2011)The essence of objects.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 69-71 (2000)Parsing randomness., und . Proc. ACM Program. Lang., 6 (OOPSLA2): 89-113 (2022)Reflecting on Random Generation., , , und . Proc. ACM Program. Lang., 7 (ICFP): 322-355 (August 2023)Featherweight Firefox: Formalizing the Core of a Web Browser., und . WebApps, USENIX Association, (2010)A Taste of Category Theory for Computer Scientists. CMU-CS-88-203. Computer Science Department, Carnegie Mellon University, (1988)XDuce: A statically typed XML processing language., und . ACM Trans. Internet Techn., 3 (2): 117-148 (2003)A Record Calculus Based on Symmetric Concatenation., und . POPL, Seite 131-142. ACM Press, (1991)Dynamic Typing in a Statically Typed Language., , , und . ACM Trans. Program. Lang. Syst., 13 (2): 237-268 (1991)preliminary version: POPL 1989.On Inner Classes., und . ECOOP, Volume 1850 von Lecture Notes in Computer Science, Seite 129-153. Springer, (2000)