Constraint-based type inference for FreezeML.

Frank Emrich Jan Stolarek James Cheney Sam Lindley

Published in: CoRR (2022)

Keyphrases

neural network
database
constraint satisfaction
inference problems
information retrieval
case study
bayesian networks
search algorithm
markov random field
markov chain
bayesian inference
probabilistic reasoning
inference process