Dennis M. Volpano, Geoffrey Smith. A Type Soundness Proof for Variables in LCF ML. Inf. Process. Lett., 56(3):141-146, 1995. [doi]
@article{VolpanoS95, title = {A Type Soundness Proof for Variables in LCF ML}, author = {Dennis M. Volpano and Geoffrey Smith}, year = {1995}, doi = {10.1016/0020-0190(95)00146-4}, url = {http://dx.doi.org/10.1016/0020-0190(95)00146-4}, tags = {type soundness}, researchr = {https://researchr.org/publication/VolpanoS95}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {56}, number = {3}, pages = {141-146}, }