Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem

Bern Martens, Danny De Schreye. Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem. Journal of Logic and Algebraic Programming, 22(1):47-99, 1995.

Abstract

Abstract is missing.