Follow
Patrick O'Keefe
Patrick O'Keefe
Unknown affiliation
Verified email at alum.mit.edu - Homepage
Title
Cited by
Cited by
Year
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
1961995
Type inference with non-structural subtyping
J Palsberg, M Wand, P O'Keefe
Formal Aspects of Computing 9, 49-67, 1997
641997
Automatic Dimensional Inference.
M Wand, P O'Keefe
Computational Logic-Essays in Honor of Alan Robinson, 479-483, 1991
551991
On the complexity of type inference with coercion
M Wand, P O'Keefe
Proceedings of the fourth international conference on Functional programming …, 1989
521989
Experience with a type evaluator
J Young, P O'Keefe
D. Bj rner, AP Ershov, and ND Jones, editors, Partial Evaluation and Mixed …, 1988
431988
Type inference for partial types is decidable
PM O'Keefe, M Wand
ESOP'92: 4th European Symposium on Programming Rennes, France, February 26 …, 1992
341992
Strong normalization with non-structural subtyping
M Wand, P O'Keefe, J Palsberg
Mathematical Structures in Computer Science 5 (3), 419-429, 1995
101995
On the complexity of type inference with coercion, inFunctional Programming Languages and Computer Architecture'89'
M Wand, P O'Keefe
51989
Partially typed terms are strongly normalizing
M Wand, PM O'Keefe
manuscript, December, 1991
31991
Vehicle speeds and operating costs: models for road planning and management
W Thawat, AM Dhareshwar, PRSR Lima
(No Title), 0
The system can't perform the operation now. Try again later.
Articles 1–10