Partial Polymorphic Type Inference Is Undecidable

Hans-Juergen Boehm

Published in: FOCS (1985)

Keyphrases

type checking
sufficient conditions
np complete
bayesian networks
real time
neural network
machine learning
artificial intelligence
social networks
object oriented
belief networks
bayesian inference