Constraint-based type inference for FreezeML.

Frank Emrich Jan Stolarek James Cheney Sam Lindley

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

data model
bayesian inference
information systems
petri net
probabilistic inference
random fields