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.

 

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

Towards Races in Linear Logic., , и . Log. Methods Comput. Sci., (2020)How to Declare an Imperative.. ILPS, стр. 18-32. MIT Press, (1995)GATE: Gradual Effect Types.. ISoLA, том 13036 из Lecture Notes in Computer Science, стр. 335-345. Springer, (2021)How to Make ad-hoc Polymorphism Less ad-hoc., и . POPL, стр. 60-76. ACM Press, (1989)Once Upon a Type., , и . FPCA, стр. 1-11. ACM, (1995)The Girard-Reynolds Isomorphism.. TACS, том 2215 из Lecture Notes in Computer Science, стр. 468-491. Springer, (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 Essence of Functional Programming. (января 1992)Et tu, XML? The downfall of the relational empire (abstract).. VLDB, стр. 15. Morgan Kaufmann, (2001)The Extended UTXO Model., , , , , и . Financial Cryptography Workshops, том 12063 из Lecture Notes in Computer Science, стр. 525-539. Springer, (2020)