( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
UpgradeJ: Incremental Typechecking for Class Upgrades.

, , и . ECOOP, том 5142 из Lecture Notes in Computer Science, стр. 235-259. Springer, (2008)

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.

Gavin Kane

Gavin Keighren

Marga Bierman

Gavin Brown

Gavin Sim

 

Другие публикации лиц с тем же именем

A Term Calculus for Intuitionistic Linear Logic., , , и . TLCA, том 664 из Lecture Notes in Computer Science, стр. 75-90. Springer, (1993)What is a Categorical Model of Intuitionistic Linear Logic?. TLCA, том 902 из Lecture Notes in Computer Science, стр. 78-93. Springer, (1995)First-Class Relationships in an Object-Oriented Language., и . ECOOP, том 3586 из Lecture Notes in Computer Science, стр. 262-286. Springer, (2005)Strong Normalisation of Cut-Elimination in Classical Logic., и . TLCA, том 1581 из Lecture Notes in Computer Science, стр. 365-380. Springer, (1999)Relationships and associations in object-oriented languages., , , , , , , и . OOPSLA Companion, стр. 855-856. ACM, (2008)Dynamic rebinding for marshalling and update, with destruct-time?, , , , и . ICFP, стр. 99-110. ACM, (2003)LINQ: reconciling object, relations and XML in the .NET framework., , и . SIGMOD Conference, стр. 706. ACM, (2006)What is a Secure Programming Language?, и . SNAPL, том 136 из LIPIcs, стр. 3:1-3:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A New General Purpose Parallel Database System., , , и . ISPAN, стр. 2-8. IEEE Computer Society, (1997)A Computational Interpretation of the lambda-µ-Calculus.. MFCS, том 1450 из Lecture Notes in Computer Science, стр. 336-345. Springer, (1998)