John C. Mitchell, Robert Harper
The Essence of ML
POPL, 1988.
@inproceedings{POPL-1988-MitchellH,
author = "John C. Mitchell and Robert Harper",
booktitle = "{Conference Record of the 15th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/73560.73563",
editor = "Jeanne Ferrante and P. Mager",
isbn = "0-89791-252-7",
note = "long version: TOPLAS 15(2): 211-252 (1993)",
pages = "28--46",
publisher = "{ACM Press}",
title = "{The Essence of ML}",
year = 1988,
}