Patrick O'Keefe

According to our database, Patrick O'Keefe authored at least 7 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

CoRR, 2024

1997

Type Inference with Non-Structural Subtyping.

Jens Palsberg, Mitchell Wand, Patrick O'Keefe

Formal Aspects Comput., 1997

1995

A Type System Equivalent to Flow Analysis

Jens Palsberg, Patrick O'Keefe

ACM Trans. Program. Lang. Syst., 1995

Strong Normalization with Non-Structural Subtyping.

Mitchell Wand, Patrick O'Keefe, Jens Palsberg

Math. Struct. Comput. Sci., 1995

1992

Type Inference for Partial Types is Decidable.

Patrick O'Keefe, Mitchell Wand

Proceedings of the ESOP '92, 1992

1991

Automatic Dimensional Inference.

Mitchell Wand, Patrick O'Keefe

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1989

On the Complexity of Type Inference with Coercion.

Mitchell Wand, Patrick O'Keefe

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989