• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Sound and Complete Type Inference for Closed Effect Rows.

Kazuki IkemoriYouyou CongHidehiko MasuharaDaan 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