Mitchell Wand

A semantics for advice and dynamic join points in aspect-oriented programming

Mitchell Wand, Gregor Kiczales, Christopher Dutchyn · ACM Transactions on Programming Languages and Systems · 2004 · 229 citations

Engineering, Cross-cutting Concern, Software Engineering +21

Complete Type Inference for Simple Objects

Mitchell Wand · Logic in Computer Science · 1987 · 211 citations

Engineering, Generic Programming, Automated Reasoning +5

Final algebra semantics and data type extensions

Mitchell Wand · Journal of Computer and System Sciences · 1979 · 170 citations

Algebraic Logic, Engineering, Data Type +5

Continuation-based multiprocessing

Mitchell Wand · 1980 · 139 citations

Engineering, Computer Architecture, Software Engineering +18

Finding the source of type errors

Mitchell Wand · 1986 · 133 citations

Program Checking, Engineering, Type Theory +21