Complete and decidable type inference for GADTs.

Tom Schrijvers Simon L. Peyton Jones Martin Sulzmann Dimitrios Vytiniotis

Published in: ICFP (2009)

Keyphrases

information systems
situation calculus
inference mechanism
belief networks
random fields
inference engine
decision theoretic
transitive closure
inference process