Deriving a complete type inference for hindley-milner and vector sizes using expansion.

Axel Simon

Browse the full PEPM paper archive.