Type checking meta programs (1999)

by Nikolaj Bjørner
Venue:In Workshop on Logical Frameworks and Metalanguage