@inproceedings{simon14optimal,
  author = {A. Simon},
  title = {Optimal {I}nference of {F}ields in {R}ow-{P}olymorphic {R}ecords},
  booktitle = {Programming Language Design and Implementation},
  month = {June},
  year = 2014,
  series = {SIGPLAN},
  publisher = {ACM},
  address = {Edinburg, UK},
}