( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Set Constraints for Destructive Array Update Optimization.

, и . ICCL, стр. 184-195. IEEE Computer Society, (1998)

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)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)The VLISP Verified PreScheme Compiler., , и . LISP Symb. Comput., 8 (1-2): 111-182 (1995)Complete Type Inference for Simple Objects. LICS, стр. 37-44. IEEE Computer Society, (1987)Type Inference for Partial Types is Decidable., и . ESOP, том 582 из Lecture Notes in Computer Science, стр. 408-417. Springer, (1992)Revised Report on the Algorithmic Language Scheme., , , , , , , , , и 6 other автор(ы). High. Order Symb. Comput., 11 (1): 7-105 (1998)Small bisimulations for reasoning about higher-order imperative programs., и . POPL, стр. 141-152. ACM, (2006)Continuation-Based Multiprocessing.. LISP Conference, стр. 19-28. ACM, (1980)Bottom-Up beta-Reduction: Uplinks and lambda-DAGs., и . ESOP, том 3444 из Lecture Notes in Computer Science, стр. 217-232. Springer, (2005)