Session Type Inference in Haskell

Keigo Imai Shoji Yuen Kiyoshi Agusa

Published in: PLACES (2010)

Keyphrases

probabilistic inference
neural network
machine learning
information retrieval
artificial intelligence
bayesian networks
special case
query language
programming language
conditional random fields
bayesian inference