( en | de | ru )

 

Disambiguierung von "Wand, Mitchell"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Type Inference with Non-Structural Subtyping.

, , und . Formal Aspects Comput., 9 (1): 49-67 (1997)

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.

Gail Mitchell

Daniell Mitchell

Brian Mitchell

Margaret Mitchell

John Mitchell

 

Weitere Publikationen von Autoren mit dem selben Namen

Continuation Semantics in Typed Lambda-Calculi (Summary)., und . Logic of Programs, Volume 193 von Lecture Notes in Computer Science, Seite 219-224. Springer, (1985)A Compositional Trace Semantics for Orc., und . COORDINATION, Volume 5052 von Lecture Notes in Computer Science, Seite 331-346. Springer, (2008)Type Inference for Partial Types is Decidable., und . ESOP, Volume 582 von Lecture Notes in Computer Science, Seite 408-417. Springer, (1992)A semantics for advice and dynamic join points in aspect-oriented programming., , und . ACM Trans. Program. Lang. Syst., 26 (5): 890-910 (2004)Complete Type Inference for Simple Objects. LICS, Seite 37-44. IEEE Computer Society, (1987)The VLISP Verified PreScheme Compiler., , und . LISP Symb. Comput., 8 (1-2): 111-182 (1995)Conditional Lambda-Theories and the Verification of Static Properties of Programs, und . Inf. Comput., 113 (2): 253-277 (September 1994)Type Inference for Record Concatenation and Multiple Inheritance. Inf. Comput., 93 (1): 1-15 (Juli 1991)Linear Future Semantics and Its Implementation., und . Sci. Comput. Program., 8 (1): 87-103 (1987)Revised Report on the Algorithmic Language Scheme., , , , , , , , , und 6 andere Autor(en). High. Order Symb. Comput., 11 (1): 7-105 (1998)