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.

 

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

Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations., и . ICFP, стр. 112-124. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Extensible programming with first-class cases., , и . ICFP, стр. 239-250. ACM, (2006)A Consistent Semantics of Self-adjusting Computation., , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 458-474. Springer, (2007)FICO: Web Person Disambiguation Via Weighted Similarity of Entity Contexts., и . SemEval@ACL, стр. 149-152. The Association for Computer Linguistics, (2007)Imperative self-adjusting computation., , и . POPL, стр. 309-322. ACM, (2008)Exception Handlers as Extensible Cases., , и . APLAS, том 5356 из Lecture Notes in Computer Science, стр. 273-289. Springer, (2008)Comparing Complex Concepts with Transformers: Matching Patent Claims Against Natural Language Text., , и . CoRR, (2024)Contracts as Pairs of Projections., и . FLOPS, том 3945 из Lecture Notes in Computer Science, стр. 226-241. Springer, (2006)A sound (and complete) model of contracts., и . ICFP, стр. 189-200. ACM, (2004)Typed closure conversion preserves observational equivalence., и . ICFP, стр. 157-168. ACM, (2008)