Jacques Carette, Aaron Stump
Towards typing for small-step direct reflection
PEPM, 2012.
@inproceedings{PEPM-2012-CaretteS, author = "Jacques Carette and Aaron Stump", booktitle = "{Proceedings of the 17th Workshop on Partial Evaluation and Program Manipulation}", doi = "10.1145/2103746.2103765", isbn = "978-1-4503-1118-2", pages = "93--96", publisher = "{ACM}", title = "{Towards typing for small-step direct reflection}", year = 2012, }