Login / Signup
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs.
Adrien Champion
Tomoya Chiba
Naoki Kobayashi
Ryosuke 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