Login / Signup

ICE-Based Refinement Type Discovery for Higher-Order Functional Programs.

Adrien ChampionTomoya ChibaNaoki KobayashiRyosuke Sato
Published in: J. Autom. Reason. (2020)
Keyphrases
  • higher order
  • functional programs
  • term rewriting systems
  • lazy evaluation
  • knowledge discovery
  • pairwise
  • logic programs
  • functional language
  • data mining
  • query optimization
  • machine learning
  • similarity measure