Axel Simon. Deriving a complete type inference for Hindley-Milner and vector sizes using expansion. Science of Computer Programming, 95:254-271, 2014. [doi]
@article{Simon14-3,
title = {Deriving a complete type inference for Hindley-Milner and vector sizes using expansion},
author = {Axel Simon},
year = {2014},
doi = {10.1016/j.scico.2014.03.005},
url = {http://dx.doi.org/10.1016/j.scico.2014.03.005},
researchr = {https://researchr.org/publication/Simon14-3},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {95},
pages = {254-271},
}