( en | de | ru )

 

Disambiguation of "Wand, Mitchell"

Author of the publication

copydeleteadd this publication to your clipboard
Selective and Lightweight Closure Conversion.

, and . POPL, page 435-445. ACM Press, (1994)

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

Specifying the Correctness of Binding-Time Analysis.. POPL, page 137-143. ACM Press, (1993)On the Complexity of Type Inference with Coercion., and . FPCA, page 293-298. ACM, (1989)A Concrete Approach to Abstract Recursion Definitions.. ICALP, page 331-341. North-Holland, Amsterdam, (1972)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)Automatic Dimensional Inference., and . Computational Logic - Essays in Honor of Alan Robinson, page 479-483. The MIT Press, (1991)Parsing reflective grammars., and . LDTA, page 10. ACM, (2011)An Unusual Application of Program-Proving. STOC, page 59-66. ACM, (1973)Set Constraints for Destructive Array Update Optimization., and . ICCL, page 184-195. IEEE Computer Society, (1998)The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower., and . LISP and Functional Programming, page 298-307. ACM, (1986)