Searching for authors named Mitchell Wand – sorted by Relevance.
40 documents found, showing 1 through 10.
Next 10 →
-
Embedding Type Structure in Semantics
- …Wand, M. "Embedding Type Structure in Semantics" Conf. Rec. 12th ACM Symp. on Principles of Prog…
- Cited by 12 (1 self) – Add To MetaCart
-
Automatic Dimensional Inference
- …Automatic Dimensional Inference Mitchell Wand College of Computer Science Northeastern University…
- Cited by 16 (0 self) – Add To MetaCart
-
Compiler Correctness for Parallel Languages
- …Compiler Correctness for Parallel Languages Mitchell Wand College of Computer Science…
- Cited by 8 (2 self) – Add To MetaCart
-
The Theory of Fexprs is Trivial
- …. Manufactured in The Netherlands. The Theory of Fexprs is Trivial * MITCHELL WAND wand@(email omitted); College…
- Cited by 15 (0 self) – Add To MetaCart
-
Continuation-Based Multiprocessing
- …. Continuation-Based Multiprocessing * MITCHELL WAND ** Indiana University, Bloomington, IN 47405 Abstract. Any…
- Cited by 65 (0 self) – Add To MetaCart
-
Type Inference for Record Concatenation and Multiple Inheritance
- …Type Inference for Record Concatenation and Multiple Inheritance Mitchell Wand College of Computer…
- Cited by 109 (2 self) – Add To MetaCart
-
Type Inference for Record Concatenation and Multiple Inheritance
- …Type Inference for Record Concatenation and Multiple Inheritance Mitchell Wand College of Computer…
- Add To MetaCart
-
Adding Input-Output to PCF
- … University Banacha 2 02-097 Warsaw, POLAND tiuryn@(email omitted); Mitchell Wand y College of Computer Science…
- Add To MetaCart
-
CPS Transformation of Flow Information
- …CPS Transformation of Flow Information Jens Palsberg Purdue University Mitchell Wand…
- Cited by 3 (1 self) – Add To MetaCart
-
Untyped Lambda-Calculus with Input-Output (Progress Report)
- … of Informatics Warsaw University Banacha 2 02-097 Warsaw, POLAND tiuryn@(email omitted); Mitchell Wand y College…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
