Gordon D. Plotkin. A Semantics for Static Type Inference. Inf. Comput., 109(1/2):256-299, February/March 1994.
@article{Plotkin94, title = {A Semantics for Static Type Inference}, author = {Gordon D. Plotkin}, year = {1994}, month = {February/March}, tags = {semantics, type inference}, researchr = {https://researchr.org/publication/Plotkin94}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {109}, number = {1/2}, pages = {256-299}, }