Schreye. A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming (1992)

by B Martens, D De
Venue:MDS92a] [MDS92b] [Mil86] [Min88a] [Min88b] [Min93