Author of the publication

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

We need more than one: why students need a sophisticated understanding of programming languages.. ACM SIGPLAN Notices, 43 (11): 62-65 (2008)On the Relationship Between Classes, Objects, and Data Abstraction., and . Theory Pract. Object Syst., 4 (1): 3-25 (1998)Guest editorial., and . ACM Trans. Program. Lang. Syst., 24 (2): 111 (2002)A Delegation-based Object Calculus with Subtying., and . FCT, volume 965 of Lecture Notes in Computer Science, page 42-61. Springer, (1995)Introduction.. J. Funct. Program., 16 (4-5): 373-374 (2006)A Control-Flow Analysis for a Calculus of Concurrent Objects., , and . IEEE Trans. Software Eng., 26 (7): 617-634 (2000)A Verified LL(1) Parser Generator., , , and . ITP, volume 141 of LIPIcs, page 24:1-24:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)DSLs: the good, the bad, and the ugly., , , , , and . OOPSLA Companion, page 791-794. ACM, (2008)HACMS: high assurance cyber military systems.. HILT, page 51-52. ACM, (2012)TxForest: A DSL for Concurrent Filestores., , , and . APLAS, volume 11893 of Lecture Notes in Computer Science, page 332-354. Springer, (2019)