( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.

, , , , и . FTfJP@ECOOP, стр. 11-19. ACM, (2012)

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.

Maria Alexopoulou

Ethnic Foreign Policy und Identitätsbildung: die Griechisch-Amerikaner (1964 - 1978). FU Berlin, (2007)

Alex Mueller

Alex Niemoeller

Alex Berg

Michael Alex

 

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

Preface., и . Int. J. Found. Comput. Sci., 24 (1): 1-2 (2013)Bounded Abstract Effects., , , , и . ACM Trans. Program. Lang. Syst., 44 (1): 5:1-5:48 (2022)A Relaxed Balanced Lock-Free Binary Search Tree., , и . PDCAT, том 12606 из Lecture Notes in Computer Science, стр. 304-317. Springer, (2020)Towards compilation of an imperative language for FPGAs., , и . VMIL@SPLASH, стр. 47-56. ACM, (2018)Multiple dispatch in practice., , , и . OOPSLA, стр. 563-582. ACM, (2008)A tool for ownership and confinement analysis of the Java object graph.. OOPSLA Companion, стр. 118-119. ACM, (2002)Safely Composable Type-Specific Languages., , , , , и . ECOOP, том 8586 из Lecture Notes in Computer Science, стр. 105-130. Springer, (2014)Encoding Featherweight Java with assignment and immutability using the Coq proof assistant., , , , и . FTfJP@ECOOP, стр. 11-19. ACM, (2012)Capabilities: Effects for Free., , , и . ICFEM, том 11232 из Lecture Notes in Computer Science, стр. 231-247. Springer, (2018)The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types., , , и . ECOOP, том 7920 из Lecture Notes in Computer Science, стр. 205-229. Springer, (2013)