A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming

Bern Martens, Danny De Schreye. A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming. In JICSLP. pages 511-525, 1992.

Abstract

Abstract is missing.