Refining semantics for multi-stage programming

Rui Ge, Ronald Garcia. Refining semantics for multi-stage programming. In Matthew Flatt, Sebastian Erdweg, editors, Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017. pages 2-14, ACM, 2017. [doi]

@inproceedings{GeG17,
  title = {Refining semantics for multi-stage programming},
  author = {Rui Ge and Ronald Garcia},
  year = {2017},
  doi = {10.1145/3136040.3136047},
  url = {http://doi.acm.org/10.1145/3136040.3136047},
  researchr = {https://researchr.org/publication/GeG17},
  cites = {0},
  citedby = {0},
  pages = {2-14},
  booktitle = {Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017},
  editor = {Matthew Flatt and Sebastian Erdweg},
  publisher = {ACM},
  isbn = {978-1-4503-5524-7},
}