Meta-programming With Built-in Type Equality.

Tim Sheard Emir Pasalic

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

neural network
databases
information retrieval
decision making
website
search algorithm
domain knowledge
programming language
database
case study
object oriented programming
database query languages
meta reasoning