Patrick O'Keefe

Publication Activity (10 Years)

Years Active: 1989-1997
Publications (10 Years): 0

Publications

Jens Palsberg, Mitchell Wand, Patrick O'Keefe
Type Inference with Non-Structural Subtyping. Formal Aspects Comput. 9 (1) (1997)
Jens Palsberg, Patrick O'Keefe
A Type System Equivalent to Flow Analysis. POPL (1995)
Jens Palsberg, Patrick O'Keefe
A Type System Equivalent to Flow Analysis ACM Trans. Program. Lang. Syst. 17 (4) (1995)
Mitchell Wand, Patrick O'Keefe, Jens Palsberg
Strong Normalization with Non-Structural Subtyping. Math. Struct. Comput. Sci. 5 (3) (1995)
Patrick O'Keefe, Mitchell Wand
Type Inference for Partial Types is Decidable. ESOP (1992)
Mitchell Wand, Patrick O'Keefe
Automatic Dimensional Inference. Computational Logic - Essays in Honor of Alan Robinson (1991)
Mitchell Wand, Patrick O'Keefe
On the Complexity of Type Inference with Coercion. FPCA (1989)