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