FreezeML: complete and easy type inference for first-class polymorphism.

Frank Emrich Sam Lindley Jan Stolarek James Cheney Jonathan Coates

Published in: PLDI (2020)

Keyphrases

bayesian inference
class specific
efficient learning
inference process
grammatical inference
database programming language
machine learning
search engine
case study
database systems
bayesian networks
probabilistic inference
random fields