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.
@article{MartensS95, title = {Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem}, author = {Bern Martens and Danny De Schreye}, year = {1995}, researchr = {https://researchr.org/publication/MartensS95}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {22}, number = {1}, pages = {47-99}, }