James O Toole, David K. Gifford. Type Reconstruction with First-Class Polymorphic Values. In PLDI. pages 207-217, 1989.
@inproceedings{OTooleG89, title = {Type Reconstruction with First-Class Polymorphic Values}, author = {James O Toole and David K. Gifford}, year = {1989}, researchr = {https://researchr.org/publication/OTooleG89}, cites = {0}, citedby = {0}, pages = {207-217}, booktitle = {PLDI}, }