Login / Signup

Subtyping, Declaratively.

Nils Anders DanielssonThorsten Altenkirch
Published in: MPC (2010)
Keyphrases
  • control knowledge
  • search algorithm
  • database
  • multi agent
  • high dimensional
  • artificial neural networks
  • active learning
  • general purpose
  • domain specific
  • modeling language