Incremental type-checking for type-reflective metaprograms

Weiyu Miao, Jeremy G. Siek. Incremental type-checking for type-reflective metaprograms. In Eelco Visser, Jaakko Järvi, editors, Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010. pages 167-176, ACM, 2010. [doi]

Abstract

Abstract is missing.