( en | de | ru )

 

Disambiguierung von "Bierman, Gavin M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
UpgradeJ: Incremental Typechecking for Class Upgrades.

, , und . ECOOP, Volume 5142 von Lecture Notes in Computer Science, Seite 235-259. Springer, (2008)

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.

Gavin Kane

Gavin Keighren

Marga Bierman

Gavin Brown

Gavin Sim

 

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)Relationships and associations in object-oriented languages., , , , , , , und . OOPSLA Companion, Seite 855-856. ACM, (2008)LINQ: reconciling object, relations and XML in the .NET framework., , und . SIGMOD Conference, Seite 706. ACM, (2006)Dynamic rebinding for marshalling and update, with destruct-time?, , , , und . ICFP, Seite 99-110. ACM, (2003)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)A Computational Interpretation of the lambda-µ-Calculus.. MFCS, Volume 1450 von Lecture Notes in Computer Science, Seite 336-345. Springer, (1998)Adding Dynamic Types to C#., , und . ECOOP, Volume 6183 von Lecture Notes in Computer Science, Seite 76-100. Springer, (2010)