Wand, Mitchell.
Mitchell Wand American computer scientist
VIAF ID: 93981486 ( Personal )
Permalink: http://viaf.org/viaf/93981486
Preferred Forms
- 100 0 _ ‡a Mitchell Wand ‡c American computer scientist
- 200 _ | ‡a Wand ‡b Mitchell
-
-
- 100 1 _ ‡a Wand, Mitchell
- 100 1 _ ‡a Wand, Mitchell
-
-
-
-
-
-
-
- 100 1 _ ‡a Wand, Mitchell
- 100 1 _ ‡a Wand, Mitchell
-
-
-
-
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Bottom-up β-Substitution | |
Essentials of programming languages | |
Fundamentos de linguagem de programação | |
Induction, recursion, and programming, c1979: | |
Type inference with non-structural subtyping | |
Untyped lambda-calculus with input-output | |
VLISP : a verified implementation of scheme |