Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov. Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. In John H. Reppy, Julia L. Lawall, editors, Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. pages 172-183, ACM, 2006. [doi]
Abstract is missing.