Type Inference for Rank-2 Intersection Types Using Set Unification.

Pedro Ângelo Mário Florido

Published in: ICTAC (2022)

Keyphrases

bayesian networks
expert systems
small number
real time
data mining
knowledge base
image sequences
probability distribution
higher order
user defined
inference engine