From post

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.

 

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

Slothrop: Knuth-Bendix Completion with a Modern Termination Checker., , и . RTA, том 4098 из Lecture Notes in Computer Science, стр. 287-296. Springer, (2006)A language-based approach to functionally correct imperative programming., , и . ICFP, стр. 268-279. ACM, (2005)Practical Permissions for Race-Free Parallelism., , , и . ECOOP, том 7313 из Lecture Notes in Computer Science, стр. 614-639. Springer, (2012)Permission Regions for Race-Free Parallelism., , , и . RV, том 7186 из Lecture Notes in Computer Science, стр. 94-109. Springer, (2011)Mint: Java multi-stage programming using weak separability., , , , , и . PLDI, стр. 400-411. ACM, (2010)