Implementing typed meta-programming. Available at http://www.cs.bu.edu/~hwxi/academic/papers/TMP.ps (2002)

by C Chen, H Xi