Meta-programming through typeful code representation.

Chiyan Chen, Hongwei Xi

Browse the full ICFP paper archive.