| Title | Type-Dependent Parameter Inference |
| Publication Type | Conference Paper |
| Year of Publication | 1990 |
| Authors | Cormack, G., and A. K. Wright |
| Conference Name | ACM-SIGPLAN Symposium on Programming Language Design and Implementation (PLDI) |
| DOI | 10.1145/93542.93560 |
