Reflection and Semantics in Lisp.

Brian Cantwell Smith

Published in: POPL (1984)

Keyphrases

learning theory
formal semantics
programming language
logic programming
semantic information
high level
logical language
databases
keywords
knowledge representation
general purpose
conceptual model