Pure versus Impure LISP.

Nicholas Pippenger

Published in: POPL (1996)

Keyphrases

learning theory
programming language
knowledge representation
databases
learning algorithm
information systems
data model
dependency directed backtracking