Login / Signup

Resolving Ambiguous Types in Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints.

Yuya KonoHideyuki KawabataTetsuo Hironaka
Published in: J. Inf. Process. (2019)
Keyphrases
  • programming language
  • data sets
  • data mining
  • knowledge base
  • search algorithm
  • constrained optimization