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.

 

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

A semantics for advice and dynamic join points in aspect-oriented programming, , и . ACM Trans. Program. Lang. Syst., 26 (5): 890--910 (2004)Type Inference for Partial Types is Decidable., и . ESOP, том 582 из Lecture Notes in Computer Science, стр. 408-417. Springer, (1992)Continuation Semantics in Typed Lambda-Calculi (Summary)., и . Logic of Programs, том 193 из Lecture Notes in Computer Science, стр. 219-224. Springer, (1985)A Compositional Trace Semantics for Orc., и . COORDINATION, том 5052 из Lecture Notes in Computer Science, стр. 331-346. Springer, (2008)Complete Type Inference for Simple Objects. LICS, стр. 37-44. IEEE Computer Society, (1987)Revised Report on the Algorithmic Language Scheme., , , , , , , , , и 6 other автор(ы). High. Order Symb. Comput., 11 (1): 7-105 (1998)A Language for Specifying Recursive Traversals of Object Structures., и . OOPSLA, стр. 70-81. ACM, (1999)SIGPLAN Notices 34(10).Small bisimulations for reasoning about higher-order imperative programs., и . POPL, стр. 141-152. ACM, (2006)Bottom-Up beta-Reduction: Uplinks and lambda-DAGs., и . ESOP, том 3444 из Lecture Notes in Computer Science, стр. 217-232. Springer, (2005)Continuation-Based Multiprocessing.. LISP Conference, стр. 19-28. ACM, (1980)