"JOIN(X): Constraint-Based Type Inference for the Join-Calculus."

Sylvain Conchon, François Pottier (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics