A Polymorphic Type System with Progress for Binary Sessions.

Zhenguo Yang Farong Zhong Jinfang Zhang

Published in: WISM (2012)

Keyphrases

type checking
information technology
binary tree
decision trees
support vector
expert systems
special case
web search