@article{169696,
 author = {Robert Harper and John C. Mitchell},
 title = {On the type structure of standard ML},
 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume = {15},
 number = {2},
 year = {1993},
 issn = {0164-0925},
 pages = {211--252},
 doi = {http://doi.acm.org/10.1145/169701.169696},
 publisher = {ACM Press},
 }