K.: Dependently typed meta-programming

Cached

Download Links

by Edwin Brady , Kevin 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
Citations:1 - 0 self