( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A type and effect system for sharing.

, , и . SAC, стр. 1513-1515. ACM, (2017)

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.

Claudio Zuccaro

Claudia Ines Elena de Theissen

Adrien Elena

Stefano Zuccatti

Anaxagoras Elenas

 

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

Coupling catch clauses with local declarations., , и . FTfJP@ECOOP, стр. 6. ACM, (2016)Introducing safe unknown types in Java-like languages., и . SAC, стр. 1429-1434. ACM, (2006)The essence of static and dynamic bindings., , и . ICTCS, стр. 99-106. (2009)Implementation of Data Structures in an Imperative Framework.. COMPASS/ADT, том 906 из Lecture Notes in Computer Science, стр. 483-498. Springer, (1994)A Primitive Calculus for Module Systems., и . PPDP, том 1702 из Lecture Notes in Computer Science, стр. 62-79. Springer, (1999)The ALPINE-ALMA C II survey: the luminosity function of serendipitous C II line emitters at $z5$, , , , , , , , , и 25 other автор(ы). (2020)cite arxiv:2006.04837Comment: 19 pages, 12 figures; submitted to Astronomy & Astrophysics.An Algebraic Approach to Mixins and Modularity., и . ALP, том 1139 из Lecture Notes in Computer Science, стр. 179-193. Springer, (1996)A Syntactic Model of Mutation and Aliasing., , и . DCM/ITRS, том 293 из EPTCS, стр. 39-55. (2018)Implementation of derived programs (almost) for free., и . WADT, том 1376 из Lecture Notes in Computer Science, стр. 141-155. Springer, (1997)Constrained Polymorphic Types for a Calculus with Name Variables., , и . TYPES, том 69 из LIPIcs, стр. 4:1-4:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)