@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},
}