Meta-programming through typeful code representation (2003)

by Chiyan Chen, Hongwei Xi
Venue:In ICFP’03