( 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

 

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

What is a Secure Programming Language?, и . SNAPL, том 136 из LIPIcs, стр. 3:1-3:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)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)LINQ: reconciling object, relations and XML in the .NET framework., , и . SIGMOD Conference, стр. 706. ACM, (2006)Dynamic rebinding for marshalling and update, with destruct-time?, , , , и . ICFP, стр. 99-110. ACM, (2003)First-Class Relationships in an Object-Oriented Language., и . ECOOP, том 3586 из Lecture Notes in Computer Science, стр. 262-286. Springer, (2005)What is a Categorical Model of Intuitionistic Linear Logic?. TLCA, том 902 из Lecture Notes in Computer Science, стр. 78-93. Springer, (1995)A Term Calculus for Intuitionistic Linear Logic., , , и . TLCA, том 664 из Lecture Notes in Computer Science, стр. 75-90. Springer, (1993)Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction., , , , и . J. Funct. Program., 18 (4): 437-502 (2008)A Note on Full Intuitionistic Linear Logic.. Ann. Pure Appl. Log., 79 (3): 281-287 (1996)