@inproceedings{DBLP:conf/tacs/Jones94,
 author = {Mark P. Jones},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/tacs/Jones94.bib},
 booktitle = {Theoretical Aspects of Computer Software, International Conference
TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings},
 doi = {10.1007/3-540-57887-0_90},
 editor = {Masami Hagiya and
John C. Mitchell},
 pages = {56--75},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Tue, 14 May 2019 10:00:51 +0200},
 title = {ML Typing, Explicit Polymorphism and Qualified Types},
 url = {https://doi.org/10.1007/3-540-57887-0_90},
 volume = {789},
 year = {1994}
}