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

A Stratified Semantics of General References A Stratified Semantics of General References., , und . LICS, Seite 75-. IEEE Computer Society, (2002)Reasoning about Hierarchical Storage., , und . LICS, Seite 33-44. IEEE Computer Society, (2003)A step-indexed model of substructural state., , und . ICFP, Seite 78-91. ACM, (2005)The logical approach to stack typing., und . TLDI, Seite 74-85. ACM, (2003)Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types.. ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 69-83. Springer, (2006)Linear Regions Are All You Need., , und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 7-21. Springer, (2006)L3: A Linear Language with Locations., , und . TLCA, Volume 3461 von Lecture Notes in Computer Science, Seite 293-307. Springer, (2005)