Axel Simon
Deriving a complete type inference for Hindley-Milner and vector sizes using expansion
PEPM, 2014.
@article{PEPM-J-2013-Simon14,
author = "Axel Simon",
doi = "10.1016/j.scico.2014.03.005",
journal = "{Science of Computer Programming}",
pages = "254--271",
title = "{Deriving a complete type inference for Hindley-Milner and vector sizes using expansion}",
volume = 95,
year = 2014,
}