@article{simon14deriving, 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}, journal = {Science of Computer Programming}, year = 2014, pages = {254–271}, volume = {95}, number = {2}, publisher = {Elsevier}, doi = {10.1016/j.scico.2014.03.005}, }