Login / Signup

Parametricity and dependent types.

Jean-Philippe BernardyPatrik JanssonRoss Paterson
Published in: ICFP (2010)
Keyphrases
  • artificial intelligence
  • pattern recognition
  • management system
  • data mining
  • web services
  • reinforcement learning
  • preprocessing