( en | de | ru )

 

Disambiguierung von "Wand, Mitchell"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compiler Correctness for Concurrent Languages.

, und . COORDINATION, Volume 1061 von Lecture Notes in Computer Science, Seite 231-248. Springer, (1996)

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.

Daniell Mitchell

Gail Mitchell

Brian Mitchell

Margaret Mitchell

John Mitchell

 

Weitere Publikationen von Autoren mit dem selben Namen

A semantics for advice and dynamic join points in aspect-oriented programming, , und . ACM Trans. Program. Lang. Syst., 26 (5): 890--910 (2004)Corrigendum: Complete Type Inference for Simple Objects. LICS, Seite 132. IEEE Computer Society, (1988)A Language for Specifying Recursive Traversals of Object Structures., und . OOPSLA, Seite 70-81. ACM, (1999)SIGPLAN Notices 34(10).Revised Report on the Algorithmic Language Scheme., , , , , , , , , und 6 andere Autor(en). High. Order Symb. Comput., 11 (1): 7-105 (1998)Small bisimulations for reasoning about higher-order imperative programs., und . POPL, Seite 141-152. ACM, (2006)Continuation-Based Multiprocessing.. LISP Conference, Seite 19-28. ACM, (1980)Bottom-Up beta-Reduction: Uplinks and lambda-DAGs., und . ESOP, Volume 3444 von Lecture Notes in Computer Science, Seite 217-232. Springer, (2005)Complete Type Inference for Simple Objects. LICS, Seite 37-44. IEEE Computer Society, (1987)Romeo: a system for more flexible binding-safe programming., und . ICFP, Seite 53-65. ACM, (2014)Continuation Semantics in Typed Lambda-Calculi (Summary)., und . Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 219-224. Springer, (1985)