GPCE 2010 : Incremental Type-Checking for Type-Reflective Metaprograms

Reference

2010

detail
pdf

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},
}