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]
Abstract is missing.