Autor der Publikation

A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs.

, , , , , , und . Onward!, Seite 95-111. ACM, (2014)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Modular lazy search for Constraint Satisfaction Problems., und . J. Funct. Program., 11 (5): 557-587 (2001)A monadic semantics for core Curry., und . WFLP, Volume 86 von Electronic Notes in Theoretical Computer Science, Seite 16-34. Elsevier, (2003)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.Debuggable Concurrency Extensions for Standard ML., und . Workshop on Parallel and Distributed Debugging, Seite 120-131. ACM, (1991)Tag-Free Garbage Collection Using Explicit Type Parameters.. LISP and Functional Programming, Seite 1-11. ACM, (1994)Debugging Standard ML Without Reverse Engineering., und . LISP and Functional Programming, Seite 1-12. ACM, (1990)A Debugger for Standard ML., und . J. Funct. Program., 5 (2): 155-200 (1995)