Simple unification-based type inference for GADTs.

Simon L. Peyton Jones Dimitrios Vytiniotis Stephanie Weirich Geoffrey Washburn

Published in: ICFP (2006)

Keyphrases

highly reliable
data sets
machine learning
real time
social networks
probabilistic inference
inference process
inference mechanism