Why untyped nonground metaprogramming is not (much of) a problem

DOI10.1016/0743-1066(94)00015-XzbMath0829.68024MaRDI QIDQ4327412

Danny De Schreye, Bern Martens

Publication date: 6 April 1995

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

range restrictionlanguage independencevanilla metaprogram

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• HiLog

This page was built for publication: Why untyped nonground metaprogramming is not (much of) a problem