Toward foundations for type-reflective metaprogramming.

Ronald Garcia, Andrew Lumsdaine

Browse the full GPCE paper archive.