Metacircularity in the polymorphic -calculus (1991)

by F Pfenning, P Lee
Venue:Theoretical Computer Science