Type Checking Meta Programs (1999)

Cached

Download Links

by Nikolaj Bjørner
Venue:In Workshop on Logical Frameworks and Meta-Languages
Citations:7 - 0 self