( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Selective and Lightweight Closure Conversion.

, и . POPL, стр. 435-445. ACM Press, (1994)

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.

Daniell Mitchell

Gail Mitchell

Brian Mitchell

Margaret Mitchell

John Mitchell

 

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

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)