Metacircularity in the polymorphic lambdacalculus (1991)

by F Pfenning, P Lee
Venue:Theor. Comput. Sci