| A type system equivalent to flow analysis J Palsberg, P O'Keefe ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (4), 576-599, 1995 | 196 | 1995 |
| Type inference with non-structural subtyping J Palsberg, M Wand, P O'Keefe Formal Aspects of Computing 9, 49-67, 1997 | 65 | 1997 |
| Automatic Dimensional Inference. M Wand, P O'Keefe Computational Logic-Essays in Honor of Alan Robinson, 479-483, 1991 | 55 | 1991 |
| On the complexity of type inference with coercion M Wand, P O'Keefe Proceedings of the fourth international conference on Functional programming …, 1989 | 52 | 1989 |
| Experience with a type evaluator J Young, P O'Keefe D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988 | 43 | 1988 |
| Type inference for partial types is decidable PM O'Keefe, M Wand ESOP'92: 4th European Symposium on Programming Rennes, France, February 26 …, 1992 | 34 | 1992 |
| Strong normalization with non-structural subtyping M Wand, P O'Keefe, J Palsberg Mathematical Structures in Computer Science 5 (3), 419-429, 1995 | 10 | 1995 |
| On the complexity of type inference with coercion, inFunctional Programming Languages and Computer Architecture'89' M Wand, P O'Keefe | 5 | 1989 |
| Partially typed terms are strongly normalizing M Wand, PM O'Keefe manuscript, December, 1991 | 3 | 1991 |
| Vehicle speeds and operating costs: models for road planning and management W Thawat, AM Dhareshwar, PRSR Lima (No Title), 0 | | |
Mitchell WandProfessor of Computer Science, Northeastern UniversityDirección de correo verificada de ccs.neu.edu
