Polymorphic type inference. Proc. 10th symposium on principles of programming languages (1983)

by Daniel Leivant