Login / Signup

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

Adrien ChampionTomoya ChibaNaoki KobayashiRyosuke Sato
Published in: TACAS (1) (2018)
Keyphrases
  • higher order
  • functional programs
  • term rewriting systems
  • knowledge discovery
  • lazy evaluation
  • pairwise
  • database
  • machine learning
  • database systems
  • multi agent systems
  • functional language