Program extraction by type erasing. - Ming-Yuan Zhu; Yi-Qiang Ding (COMPSAC, 1994)