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