Search the dblp DataBase
Patrick O'Keefe: [Publications] [Author Rank by year] [Co-authors] [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:479-483 [Conf] - Patrick O'Keefe, Mitchell Wand
Type Inference for Partial Types is Decidable. [Citation Graph (0, 0)][DBLP]
ESOP, 1992, pp:408-417 [Conf] - Mitchell Wand, Patrick O'Keefe
On the Complexity of Type Inference with Coercion. [Citation Graph (0, 0)][DBLP]
FPCA, 1989, pp:293-298 [Conf] - Jens Palsberg, Patrick O'Keefe
A Type System Equivalent to Flow Analysis. [Citation Graph (0, 0)][DBLP]
POPL, 1995, pp:367-378 [Conf] - Jens Palsberg, Mitchell Wand, Patrick O'Keefe
Type Inference with Non-Structural Subtyping. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1997, v:9, n:1, pp:49-67 [Journal] - Mitchell Wand, Patrick O'Keefe, Jens Palsberg
Strong Normalization with Non-Structural Subtyping. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 1995, v:5, n:3, pp:419-429 [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:576-599 [Journal]
Search in 0.003secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002