• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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