Jun Inoue, Walid Taha
Reasoning about Multi-stage Programs
ESOP, 2012.
@inproceedings{ESOP-2012-InoueT, author = "Jun Inoue and Walid Taha", booktitle = "{Proceedings of the 21st European Symposium on Programming}", doi = "10.1007/978-3-642-28869-2_18", editor = "Helmut Seidl", isbn = "978-3-642-28868-5", pages = "357--376", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Reasoning about Multi-stage Programs}", volume = 7211, year = 2012, }