Autor der Publikation

19th international workshop on foundations of object-oriented languages (FOOL'12).

, , und . SPLASH, Seite 233-234. ACM, (2012)

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

Remote attribute grammars.. J. ACM, 52 (4): 627-687 (2005)Preface., und . Sci. Comput. Program., 68 (2): 63 (2007)Structure-oriented Product Versioning., , , und . ITCC (2), Seite 456-461. IEEE Computer Society, (2005)isbn: 0-7695-2315-3.Multi-level Configuration Management with Fine-grained Logical Units., , , und . EUROMICRO-SEAA, Seite 248-257. IEEE Computer Society, (2005)Refined Criteria for Gradual Typing., , , und . SNAPL, Volume 32 von LIPIcs, Seite 274-293. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Semantics of fractional permissions with nesting.. ACM Trans. Program. Lang. Syst., 32 (6): 22:1-22:33 (2010)Evolution of SASyLF 2008-2021.. ThEdu@CADE, Volume 354 von EPTCS, Seite 87-107. (2021)Constraint Semantics for Abstract Read Permissions., , , und . FTfJP@ECOOP, Seite 2:1-2:6. ACM, (2014)Generating Bijections between HOAS and the Natural Numbers. LFMTP, Volume 34 von EPTCS, Seite 21-35. (2010)Preface., und . LDTA@ETAPS, Volume 141 von Electronic Notes in Theoretical Computer Science, Seite 1-3. Elsevier, (2005)