Complete session types inference with progress guarantees for ML.

Carlo Spaccasassi Vasileios Koutavas

Published in: CoRR (2015)

Keyphrases

maximum likelihood
learning algorithm
hidden markov models
logic programming
parameter estimation