Meta-interpreters and reflective operations in GHC - Tanaka, Jiro (1988)
Keywords: GHC (Computer program language); PARLOG (Computer program language); Prolog (Computer program language)