( en | de | ru )

 

Disambiguation of "Wand, Mitchell"

Author of the publication

copydeleteadd this publication to your clipboard
Revised Report on the Algorithmic Language Scheme.

, , , , , , , , , , , , , , , and . High. Order Symb. Comput., 11 (1): 7-105 (1998)

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. You can also use the button next to the name to display some publications already assigned to the person.

Daniell Mitchell

Gail Mitchell

Margaret Mitchell

Brian Mitchell

John Mitchell

 

Other publications of authors with the same name

Deriving Target Code as a Representation of Continuation Semantics. ACM Trans. Program. Lang. Syst., 4 (3): 496-517 (1982)Automatic Dimensional Inference., and . Computational Logic - Essays in Honor of Alan Robinson, page 479-483. The MIT Press, (1991)An Unusual Application of Program-Proving. STOC, page 59-66. ACM, (1973)Parsing reflective grammars., and . LDTA, page 10. ACM, (2011)A Concrete Approach to Abstract Recursion Definitions.. ICALP, page 331-341. North-Holland, Amsterdam, (1972)On the Complexity of Type Inference with Coercion., and . FPCA, page 293-298. ACM, (1989)Specifying the Correctness of Binding-Time Analysis.. POPL, page 137-143. ACM Press, (1993)A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming.. SAIG, volume 2196 of Lecture Notes in Computer Science, page 45-46. Springer, (2001)The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower., and . LISP Symb. Comput., 1 (1): 11-37 (1988)The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower., and . LISP and Functional Programming, page 298-307. ACM, (1986)