
Search the dblp DataBase
Patrick O'Keefe:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Mitchell Wand, Patrick O'Keefe
Automatic Dimensional Inference. [Citation Graph (0, 0)][DBLP] Computational Logic  Essays in Honor of Alan Robinson, 1991, pp:479483 [Conf]
 Patrick O'Keefe, Mitchell Wand
Type Inference for Partial Types is Decidable. [Citation Graph (0, 0)][DBLP] ESOP, 1992, pp:408417 [Conf]
 Mitchell Wand, Patrick O'Keefe
On the Complexity of Type Inference with Coercion. [Citation Graph (0, 0)][DBLP] FPCA, 1989, pp:293298 [Conf]
 Jens Palsberg, Patrick O'Keefe
A Type System Equivalent to Flow Analysis. [Citation Graph (0, 0)][DBLP] POPL, 1995, pp:367378 [Conf]
 Jens Palsberg, Mitchell Wand, Patrick O'Keefe
Type Inference with NonStructural Subtyping. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1997, v:9, n:1, pp:4967 [Journal]
 Mitchell Wand, Patrick O'Keefe, Jens Palsberg
Strong Normalization with NonStructural Subtyping. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1995, v:5, n:3, pp:419429 [Journal]
 Jens Palsberg, Patrick O'Keefe
A Type System Equivalent to Flow Analysis [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1995, v:17, n:4, pp:576599 [Journal]
Search in 0.003secs, Finished in 0.003secs
