( en | de | ru )

 

Disambiguation of "Wand, Mitchell"

Author of the publication

copydeleteadd this publication to your clipboard
Embedding Type Structure in Semantics.

. POPL, page 1-6. ACM Press, (1985)

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

Brian Mitchell

Margaret Mitchell

John Mitchell

 

Other publications of authors with the same name

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)Automatic Dimensional Inference., and . Computational Logic - Essays in Honor of Alan Robinson, page 479-483. The MIT Press, (1991)Set Constraints for Destructive Array Update Optimization., and . ICCL, page 184-195. IEEE Computer Society, (1998)Deriving Target Code as a Representation of Continuation Semantics. ACM Trans. Program. Lang. Syst., 4 (3): 496-517 (1982)Parsing reflective grammars., and . LDTA, page 10. ACM, (2011)An Unusual Application of Program-Proving. STOC, page 59-66. ACM, (1973)Specifying the Correctness of Binding-Time Analysis.. POPL, page 137-143. ACM Press, (1993)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)