First-Class Macros have Types

Alan Bawden. First-Class Macros have Types. In POPL. pages 133-141, 2000. [doi]

Abstract

Abstract is missing.