Type Inference for Rank 2 Gradual Intersection Types.

Pedro Ângelo Mário Florido

Published in: TFP (2019)

Keyphrases

multiple types
bayesian inference
artificial intelligence
inference process
rank aggregation
website
bayesian networks
mobile robot
probabilistic reasoning