| |
| 1997 | ||
|---|---|---|
| 7 | Jens Palsberg, Mitchell Wand, Patrick O'Keefe: Type Inference with Non-Structural Subtyping. Formal Asp. Comput. 9(1): 49-67 (1997) | |
| 1995 | ||
| 6 | Jens Palsberg, Patrick O'Keefe: A Type System Equivalent to Flow Analysis. POPL 1995: 367-378 | |
| 5 | EE | Jens Palsberg, Patrick O'Keefe: A Type System Equivalent to Flow Analysis ACM Trans. Program. Lang. Syst. 17(4): 576-599 (1995) |
| 4 | Mitchell Wand, Patrick O'Keefe, Jens Palsberg: Strong Normalization with Non-Structural Subtyping. Mathematical Structures in Computer Science 5(3): 419-429 (1995) | |
| 1992 | ||
| 3 | Patrick O'Keefe, Mitchell Wand: Type Inference for Partial Types is Decidable. ESOP 1992: 408-417 | |
| 1991 | ||
| 2 | Mitchell Wand, Patrick O'Keefe: Automatic Dimensional Inference. Computational Logic - Essays in Honor of Alan Robinson 1991: 479-483 | |
| 1989 | ||
| 1 | EE | Mitchell Wand, Patrick O'Keefe: On the Complexity of Type Inference with Coercion. FPCA 1989: 293-298 |
| 1 | Jens Palsberg | [4] [5] [6] [7] |
| 2 | Mitchell Wand | [1] [2] [3] [4] [7] |