Sign in
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism.
Lionel Parreaux
Aleksander Boruch-Gruszecki
Andong Fan
Chun Yin Chau
Published in:
Proc. ACM Program. Lang. (2024)
Keyphrases
</>
bayesian networks
database
constraint satisfaction
efficient learning
neural network
constraint networks
linear constraints
learning algorithm
decision trees
global constraints
potential functions
consistency checking