Principal type inference for GADTs.

Sheng Chen Martin Erwig

Published in: POPL (2016)

Keyphrases

real time
data sets
bayesian networks
belief networks
neural network
information retrieval
expert systems
probabilistic inference
decision theoretic
inference process
information systems
video sequences
mobile robot
message passing