- Bottom-up -reduction: uplinks and -DAGs
- Tracking Available Values for Lightweight Closures Paul Steckler and Mitchell Wand \Lambda
- A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
- Wand, M. ``Embedding Type Structure in Semantics'' Conf. Rec. 12th ACM Symp. on Principles of Prog. Lang. (1985), 1--6.
- Constraint Systems for Useless Variable Elimination Mitchell Wand and Igor Siveroni \Lambda
- Set Constraints for Destructive Array Update Optimization
- Selective Thunkification Paul Steckler and Mitchell Wand ?
- Automatic Dimensional Inference Mitchell Wand \Lambda
- Bisimulations for Untyped Imperative Objects Vasileios Koutavas and Mitchell Wand
- Higher-Order and Symbolic Computation, 18, 245269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands.
- A Little Goes a Long Way: A Simple Tool to Support Denotational
- Continuation Semantics in Typed LambdaCalculi Albert R. Meyer
- Selectors Make Analyzing case-lambda Too Hard Philippe Meunier Robby Findler y Paul A. Steckler Mitchell Wand
- To Appear: Proceedings, ECOOP'96 Modeling Subobjectbased Inheritance
- Set Constraints for Destructive Array Update Optimization \Lambda Mitchell Wand and William D. Clinger
- Relating Models of Backtracking Mitchell Wand
- Lightweight Closure Conversion PAUL A. STECKLER
- Types in Compilation: Scenes from an Invited Lecture
- Denotational Semantics Using an OperationallyBased Term Model Mitchell Wand \Lambda Gregory T. Sullivan \Lambda
- Trampolined Style Steven E. Ganz \Lambda
- Aspect-Oriented Programming
- Untyped LambdaCalculus with InputOutput Jerzy Tiuryn 1 and Mitchell Wand 2
- A Modular, Extensible Proof Method for Small-step Flow Analyses
- Understanding Aspects (Extended Abstract)
- Small Bisimulations for Reasoning About Higher-Order Imperative Programs
- Compiler Correctness for Parallel Languages Mitchell Wand \Lambda
- A Language for Specifying Recursive Traversals of Object Structures Johan Ovlinger and Mitchell Wand \Lambda
- , , 1--16 () fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- A separation logic for refining concurrent objects Aaron Turon and Mitchell Wand
- A separation logic for the -calculus Aaron Turon Mitchell Wand
- A Theory of Hygienic Macros David Herman and Mitchell Wand
- Reasoning About Class Behavior Vasileios Koutavas
- The Higher-order Aggregate Update Problem Christos Dimoulas and Mitchell Wand
- fl Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ContinuationBased Multiprocessing Revisited
- On the Correctness of the Krivine Machine Mitchell Wand
- Navigating through Object Graphs Using Local Meta-Information ?
- Incremental Lambda Lifting: An Exercise in AlmostDenotational Semantics
- Type Reconstruction with Recursive Types and Atomic Subtyping
- Type Inference for Partial Types is Decidable Patrick M. O'Keefe Mitchell Wand*
- A Short Proof of the Lexical Addressing Algorithm Mitchell Wand*
- Selective and Lightweight Closure Conversion Mitchell Wand and Paul Steckler*
- , , 1-72 () Oc Kluwer Academic Publishers, Boston. Manufactured in The Netherl*
- Compiler Correctness for Concurrent Languages David S. Gladstein ? ?? and Mitchell Wand ?
- A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand
- Lisp and Symbolic Computation, 10, 189--199 (1998) fl 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Macro-by-Example: Deriving Syntactic Transformations from their Specifications
- Using the Theorem Prover Isabelle-91 to Verify a Simple Proof of Compiler Correctness
- Conditional Lambda-Theories and the Verification of Static Properties of Programs
- A Simple Algorithm and Proof for Type Inference Mitchell Wand*
- Math. Struct. in Comp. Science (1993), vol. 11, pp. 1-000 Copyright cOCambridge* * University Press
- Type Inference for Record Concatenation and Multiple Inheritance Mitchell Wand
- Type Inference with Nonstructural Jens Palsberg \Lambda Mitchell Wand yz Patrick O'Keefe x
- Type Inference for Objects with Instance Variables and Inheritance Mitchell Wand
- Correctness of Procedure Representations in Higher-Order Assembly Language
- , , 1-28 () Oc Kluwer Academic Publishers, Boston. Manufactured in The Netherl*
- Proving the Correctness of Storage Representations Mitchell Wand and Dino P. Oliva*
