Reference

2010
Incremental Type-Checking for Type-Reflective Metaprograms
Weiyu Miao and Jeremy G. Siek
GPCE 2010: ACM SIGPLAN International Conference on Generative Programming and Component Engineering

Abstract

BibTeX

@string{GPCE = "ACM SIGPLAN International Conference on Generative Programming and Component Engineering (GPCE)"}
@inproceedings{incremental-gpce10,
  author = {Weiyu MiaoJeremy G. Siek},
  title = {Incremental Type-Checking for Type-Reflective Metaprograms},
  booktitle = GPCE,
  year = {2010},
}