Login / Signup

A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading.

Beta ZilianiMatthieu Sozeau
Published in: J. Funct. Program. (2017)
Keyphrases
  • black box
  • data sets
  • databases
  • real world
  • machine learning
  • information retrieval
  • feature extraction
  • reinforcement learning
  • special case
  • probability distribution
  • management system