K.: Dependently typed meta-programming (0)

by E Brady, Hammond
Venue:In: Proc. of 7th Symposium on Trends in Functional Programming. (2006) Available at http://www.cs.nott.ac.uk/˜nhn/TFP2006/Papers/30-BradyHammondDependentlyTypedMetaProgramming.pdf