@inproceedings{DBLP:conf/tic/Tolmach98,
 author = {Andrew P. Tolmach},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/tic/Tolmach98.bib},
 booktitle = {Types in Compilation, Second International Workshop, TIC '98, Kyoto,
Japan, March 25-27, 1998, Proceedings},
 doi = {10.1007/BFB0055514},
 editor = {Xavier Leroy and
Atsushi Ohori},
 pages = {97--115},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Tue, 14 May 2019 10:00:38 +0200},
 title = {Optimizing ML Using a Hierarchy of Monadic Types},
 url = {https://doi.org/10.1007/BFb0055514},
 volume = {1473},
 year = {1998}
}