Login / Signup

Existentially Quantified Procedures: A Mechanism for Abstracting Type in Dynamic Typing Constructs.

Richard Connor
Published in: DBPL (1997)
Keyphrases
  • existentially quantified
  • universally quantified
  • logic programs
  • domain knowledge
  • knowledge based systems