Name
Title | ||
|---|---|---|
Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. |
Year | Venue | DocType |
|---|---|---|
2004 | PPDP | Conference |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sébastien Carlier | 1 | 28 | 2.64 |
| J. B. Wells | 2 | 398 | 25.09 |