( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Faster than C#: efficient implementation of dynamic languages on .NET.

, , и . ICOOOLPS@ECOOP, стр. 26-33. ACM, (2009)

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.

Davide Cadamuro

Davide Pennino

Davide Pagani

Davide Batic

Davide Cantoni

 

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

Decentralizing MAS Monitoring with DecAMon., , и . AAMAS, стр. 239-248. ACM, (2017)A three-valued type system for true positives detection in Java-like languages., и . FTfJP@ECOOP, стр. 1:1-1:7. ACM, (2015)Safe corecursion in coFJ., и . FTfJP@ECOOP, стр. 2:1-2:7. ACM, (2013)Towards a model of corecursion with default., , и . FTfJP@ECOOP, стр. 9. ACM, (2016)Coinductive big-step operational semantics for type soundness of Java-like languages.. FTfJP@ECOOP, стр. 5:1-5:6. ACM, (2011)Ontology-based documentation extraction for semi-automatic migration of Java code., , и . SAC, стр. 1137-1143. ACM, (2012)A Theoretical Perspective of Coinductive Logic Programming., и . Fundam. Informaticae, 140 (3-4): 221-246 (2015)A calculus of module systems., и . J. Funct. Program., 12 (2): 91-132 (2002)A Formal Framework for Modules with State., и . AMAST, том 1101 из Lecture Notes in Computer Science, стр. 148-162. Springer, (1996)Type safe incremental rebinding., , и . Math. Struct. Comput. Sci., 27 (2): 94-122 (2017)