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.

 

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

L3: A Linear Language with Locations., , и . Fundam. Informaticae, 77 (4): 397-449 (2007)Optimal Token Allocations in Solitaire Knock 'm Down., , и . Electron. J. Comb., (2001)Speculative N-Way barriers., , , и . DAMP, стр. 1-12. ACM, (2009)Linear Regions Are All You Need., , и . ESOP, том 3924 из Lecture Notes in Computer Science, стр. 7-21. Springer, (2006)Programming in Manticore, a Heterogenous Parallel Functional Language., , , , , , и . CEFP, том 6299 из Lecture Notes in Computer Science, стр. 94-145. Springer, (2009)Transactional events., и . J. Funct. Program., 18 (5-6): 649-706 (2008)An Efficient Type- and Control-Flow Analysis for System F., и . IFL, стр. 3:1-3:14. ACM, (2014)Practical Inlining of Functions with Free Variables., , , и . CoRR, (2013)Automatic Parallelism Management., , , и . Proc. ACM Program. Lang., 8 (POPL): 1118-1149 (января 2024)Practical Datatype Specializations with Phantom Types and Recursion Schemes., и . ML, том 148 из Electronic Notes in Theoretical Computer Science, стр. 211-237. Elsevier, (2005)