%0 Conference Paper %1 conf/pldi/ShaoA95 %A Shao, Zhong %A Appel, Andrew W. %B PLDI %D 1995 %E Wall, David W. %I ACM %K dblp %P 116-129 %T A Type-Based Compiler for Standard ML. %U http://dblp.uni-trier.de/db/conf/pldi/pldi95.html#ShaoA95 %@ 0-89791-697-2

@inproceedings{conf/pldi/ShaoA95, added-at = {2023-10-21T00:00:00.000+0200}, author = {Shao, Zhong and Appel, Andrew W.}, biburl = {https://www.bibsonomy.org/bibtex/29276593ed602e62dfcfbd07d0f633242/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/1995}, editor = {Wall, David W.}, ee = {https://www.wikidata.org/entity/Q122193828}, interhash = {2d20f0dbe5215b7c72dc1207053131a7}, intrahash = {9276593ed602e62dfcfbd07d0f633242}, isbn = {0-89791-697-2}, keywords = {dblp}, pages = {116-129}, publisher = {ACM}, timestamp = {2024-04-09T18:59:13.000+0200}, title = {A Type-Based Compiler for Standard ML.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi95.html#ShaoA95}, year = 1995 }