Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.

Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov

Browse the full ICFP paper archive.