Sound and Complete Type Inference for Closed Effect Rows.

Kazuki Ikemori Youyou Cong Hidehiko Masuhara Daan Leijen

Published in: TFP (2022)

Keyphrases

decision trees
machine learning
information retrieval
bayesian networks
bayesian inference
neural network
artificial intelligence
small number
logic programs
queueing networks