( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs.

, , , , , , и . Onward!, стр. 95-111. ACM, (2014)

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.

Andrew Cato

Andrew Singer

Andrew Torda

Andrew May

Andrew Muwanga

 

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

Modular lazy search for Constraint Satisfaction Problems., и . J. Funct. Program., 11 (5): 557-587 (2001)A monadic semantics for core Curry., и . WFLP, том 86 из Electronic Notes in Theoretical Computer Science, стр. 16-34. Elsevier, (2003)Optimizing ML Using a Hierarchy of Monadic Types.. Types in Compilation, том 1473 из Lecture Notes in Computer Science, стр. 97-115. Springer, (1998)Tag-Free Garbage Collection Using Explicit Type Parameters.. LISP and Functional Programming, стр. 1-11. ACM, (1994)Implementing functional logic languages using multiple threads and stores., , и . ICFP, стр. 90-102. ACM, (2004)Building Program Optimizers with Rewriting Strategies., , и . ICFP, стр. 13-26. ACM, (1998)SIGPLAN Notices 34(1), January 1999.A certified framework for compiling and executing garbage-collected languages., , и . ICFP, стр. 273-284. ACM, (2010)Debuggable Concurrency Extensions for Standard ML., и . Workshop on Parallel and Distributed Debugging, стр. 120-131. ACM, (1991)Debugging Standard ML Without Reverse Engineering., и . LISP and Functional Programming, стр. 1-12. ACM, (1990)Typed Higher-Order Narrowing without Higher-Order Strategies., и . Fuji International Symposium on Functional and Logic Programming, том 1722 из Lecture Notes in Computer Science, стр. 335-353. Springer, (1999)