François Pottier

François Pottier. A Versatile Constraint-Based Type Inference System. Nordic Journal of Computing, 7(4):312-347, Winter 2000. Abstract, References, etc.