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.

 

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

A Record Calculus Based on Symmetric Concatenation., и . POPL, стр. 131-142. ACM Press, (1991)On Inner Classes., и . ECOOP, том 1850 из Lecture Notes in Computer Science, стр. 129-153. Springer, (2000)Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data., , , , и . DISC, том 4167 из Lecture Notes in Computer Science, стр. 269-283. Springer, (2006)A Formal Investigation of., , и . FSTTCS, том 4855 из Lecture Notes in Computer Science, стр. 485-496. Springer, (2007)Concurrent Objects in a Process Calculus.. Theory and Practice of Parallel Programming, том 907 из Lecture Notes in Computer Science, стр. 187-215. Springer, (1994)Regular Object Types., и . ECOOP, том 2743 из Lecture Notes in Computer Science, стр. 151-175. Springer, (2003)Differential Privacy Under Fire., , и . USENIX Security Symposium, USENIX Association, (2011)A Taste of Category Theory for Computer Scientists. CMU-CS-88-203. Computer Science Department, Carnegie Mellon University, (1988)Featherweight Firefox: Formalizing the Core of a Web Browser., и . WebApps, USENIX Association, (2010)Reflecting on Random Generation., , , и . Proc. ACM Program. Lang., 7 (ICFP): 322-355 (августа 2023)