A computational approach to reflective meta-reasoning about languages with bindings.

Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey

Browse the full ICFP paper archive.