Ming-Yuan Zhu, Yi-Qiang Ding. Program extraction by type erasing. In Eighteenth Annual International Computer Software and Applications Conference, COMPSAC 1994, Taipei, Taiwan, 9-11 November, 1994, Proceedings. pages 105-110, IEEE, 1994. [doi]
@inproceedings{ZhuD94,
title = {Program extraction by type erasing},
author = {Ming-Yuan Zhu and Yi-Qiang Ding},
year = {1994},
doi = {10.1109/CMPSAC.1994.342822},
url = {http://dx.doi.org/10.1109/CMPSAC.1994.342822},
researchr = {https://researchr.org/publication/ZhuD94},
cites = {0},
citedby = {0},
pages = {105-110},
booktitle = {Eighteenth Annual International Computer Software and Applications Conference, COMPSAC 1994, Taipei, Taiwan, 9-11 November, 1994, Proceedings},
publisher = {IEEE},
isbn = {0-8186-6705-2},
}