On the Complexity of Type Inference with Coercion. - Mitchell Wand; Patrick O'Keefe (FPCA, 1989)

Automatic Dimensional Inference. - Mitchell Wand; Patrick O'Keefe (Computational Logic - Essays in Honor of Alan Robinson, 1991)

Type Inference for Partial Types is Decidable. - Patrick O'Keefe; Mitchell Wand (ESOP, 1992)

Strong Normalization with Non-Structural Subtyping. - Mitchell Wand; Patrick O'Keefe; Jens Palsberg (Math. Struct. Comput. Sci., 1995)

A Type System Equivalent to Flow Analysis - Jens Palsberg; Patrick O'Keefe (ACM Trans. Program. Lang. Syst., 1995)

Type Inference with Non-Structural Subtyping. - Jens Palsberg; Mitchell Wand; Patrick O'Keefe (Formal Aspects Comput., 1997)

The Visual in Mobile Music Performance. - Patrick O'Keefe; Georg Essl (NIME, 2011)

Forecasting SEP Events During Solar Cycles 23 and 24 Using Interpretable Machine Learning. - Spiridon Kasapis; Irina N. Kitiashvili; Paul Kosovich; Alexander G. Kosovichev; Viacheslav M. Sadykov; Patrick O'Keefe; Vincent Wang 005 (CoRR, 2024)