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.

 

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

How to Make ad-hoc Polymorphism Less ad-hoc., и . POPL, стр. 60-76. ACM Press, (1989)Featherweight Java: a minimal core calculus for Java and GJ., , и . ACM Trans. Program. Lang. Syst., 23 (3): 396-450 (2001)Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract). IWMM, том 986 из Lecture Notes in Computer Science, стр. 117. Springer, (1995)The Extended UTXO Model., , , , , и . Financial Cryptography Workshops, том 12063 из Lecture Notes in Computer Science, стр. 525-539. Springer, (2020)Et tu, XML? The downfall of the relational empire (abstract).. VLDB, стр. 15. Morgan Kaufmann, (2001)A Formal Semantics of Patterns in XSLT and XPath.. Markup Languages, 2 (2): 183-202 (2000)Type Classes in Haskell., , , и . ACM Trans. Program. Lang. Syst., 18 (2): 109-138 (1996)Once Upon a Type., , и . FPCA, стр. 1-11. ACM, (1995)The Girard-Reynolds Isomorphism.. TACS, том 2215 из Lecture Notes in Computer Science, стр. 468-491. Springer, (2001)The Essence of Functional Programming. (января 1992)