Login / Signup
A mechanical formalization of higher-ranked polymorphic type inference.
Jinxu Zhao
Bruno C. d. S. Oliveira
Tom Schrijvers
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
type checking
graphical models
probabilistic inference
database
real time
neural network
information systems
knowledge base
database systems
information extraction
markov random field
first order logic
belief networks
higher quality
grammatical inference