( en | de | ru )

 

Disambiguierung von "Tolmach, Andrew P."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimizing ML Using a Hierarchy of Monadic Types.

. Types in Compilation, Volume 1473 von Lecture Notes in Computer Science, Seite 97-115. Springer, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andrew Singer

Andrew Torda

Andrew Huvos

Andrew Lee

Andrew Cato

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimizing ML Using a Hierarchy of Monadic Types.. Types in Compilation, Volume 1473 von Lecture Notes in Computer Science, Seite 97-115. Springer, (1998)A certified framework for compiling and executing garbage-collected languages., , und . ICFP, Seite 273-284. ACM, (2010)Implementing functional logic languages using multiple threads and stores., , und . ICFP, Seite 90-102. ACM, (2004)Building Program Optimizers with Rewriting Strategies., , und . ICFP, Seite 13-26. ACM, (1998)SIGPLAN Notices 34(1), January 1999.Tag-Free Garbage Collection Using Explicit Type Parameters.. LISP and Functional Programming, Seite 1-11. ACM, (1994)Debuggable Concurrency Extensions for Standard ML., und . Workshop on Parallel and Distributed Debugging, Seite 120-131. ACM, (1991)Debugging Standard ML Without Reverse Engineering., und . LISP and Functional Programming, Seite 1-12. ACM, (1990)Bridging the Gulf: A Common Intermediate Language for ML and Haskell., , , und . POPL, Seite 49-61. ACM, (1998)Typed Higher-Order Narrowing without Higher-Order Strategies., und . Fuji International Symposium on Functional and Logic Programming, Volume 1722 von Lecture Notes in Computer Science, Seite 335-353. Springer, (1999)Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey., und . PPoPP, Seite 198-207. ACM, (1993)