@inproceedings{simon13deriving, author = {A. Simon}, title = {Deriving a {C}omplete {T}ype {I}nference for {H}indley-{M}ilner and {V}ector {S}izes using {E}xpansion}, booktitle = {Partial Evaluation and Program Manipulation}, month = {January}, year = 2013, series = {SIGPLAN}, publisher = {ACM}, address = {Rome, Italy}, }