| |
| 2007 | ||
|---|---|---|
| 2 | EE | George Kuan, David MacQueen, Robert Bruce Findler: A Rewriting Semantics for Type Inference. ESOP 2007: 426-440 |
| 1 | EE | George Kuan, David MacQueen: Efficient type inference using ranked type variables. ML 2007: 3-14 |
| 1 | Robert Bruce Findler | [2] |
| 2 | David MacQueen | [1] [2] |