Login / Signup

Extracting programs from type class proofs.

Martin Sulzmann
Published in: PPDP (2006)
Keyphrases
  • computer programs
  • database
  • neural network
  • genetic algorithm
  • computer vision
  • class specific