( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Featherweight Java: a minimal core calculus for Java and GJ.

, , и . ACM Trans. Program. Lang. Syst., 23 (3): 396-450 (2001)

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.

Benjamin C Schefer

Morgan Pierce

Byron J. Pierce

Chad T Pierce

Guido C C Clinckspoor

 

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

Report on the NSF Workshop on Formal Methods for Security., , , , , , , и . CoRR, (2016)Security Properties for Stack Safety., , , , и . CoRR, (2021)The essence of objects.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 69-71 (2000)Reflecting on Random Generation., , , и . Proc. ACM Program. Lang., 7 (ICFP): 322-355 (августа 2023)Parsing randomness., и . Proc. ACM Program. Lang., 6 (OOPSLA2): 89-113 (2022)Differential Privacy Under Fire., , и . USENIX Security Symposium, USENIX Association, (2011)Explicit Secrecy: A Policy for Taint Tracking., , , и . EuroS&P, стр. 15-30. IEEE, (2016)Special Issue Dedicated to ICFP 2011 Editorial., и . J. Funct. Program., 23 (4): 355-356 (2013)A Taste of Category Theory for Computer Scientists. CMU-CS-88-203. Computer Science Department, Carnegie Mellon University, (1988)A Record Calculus Based on Symmetric Concatenation., и . POPL, стр. 131-142. ACM Press, (1991)