Sébastien Wilmet

: About type inference

An opinion on type inference for programming languages:

type-inference.pdf