Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection
ICFP, 2006.
@inproceedings{ICFP-2006-HickeyNYK, author = "Jason Hickey and Aleksey Nogin and Xin Yu and Alexei Kopylov", booktitle = "{Proceedings of the 11th International Conference on Functional Programming}", doi = "10.1145/1159803.1159826", editor = "John H. Reppy and Julia L. Lawall", isbn = "1-59593-309-3", pages = "172--183", publisher = "{ACM}", title = "{Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection}", year = 2006, }