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

First-Class Relationships in an Object-Oriented Language., und . ECOOP, Volume 3586 von Lecture Notes in Computer Science, Seite 262-286. Springer, (2005)A Term Calculus for Intuitionistic Linear Logic., , , und . TLCA, Volume 664 von Lecture Notes in Computer Science, Seite 75-90. Springer, (1993)What is a Categorical Model of Intuitionistic Linear Logic?. TLCA, Volume 902 von Lecture Notes in Computer Science, Seite 78-93. Springer, (1995)Strong Normalisation of Cut-Elimination in Classical Logic., und . TLCA, Volume 1581 von Lecture Notes in Computer Science, Seite 365-380. Springer, (1999)What is a Secure Programming Language?, und . SNAPL, Volume 136 von LIPIcs, Seite 3:1-3:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Relationships and associations in object-oriented languages., , , , , , , und . OOPSLA Companion, Seite 855-856. ACM, (2008)Dynamic rebinding for marshalling and update, with destruct-time?, , , , und . ICFP, Seite 99-110. ACM, (2003)LINQ: reconciling object, relations and XML in the .NET framework., , und . SIGMOD Conference, Seite 706. ACM, (2006)Separation logic and abstraction., und . POPL, Seite 247-258. ACM, (2005)Adding Dynamic Types to C#., , und . ECOOP, Volume 6183 von Lecture Notes in Computer Science, Seite 76-100. Springer, (2010)