migratory bibtex: Migratory Typing: Ten Years Later
@inproceedings{tfgnvf-popl-2016,
    author = {Sam Tobin-Hochstadt and Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Ben Greenman and Andrew M. Kent and Vincent St-Amour and T. Stephen Strickland and Asumu Takikawa},
    title = {Migratory Typing: Ten Years Later},
    booktitle = {{SNAPL}},
    pages = {17:1--17:17},
    year = {2017},
    doi = {http://dx.doi.org/10.4230/LIPIcs.SNAPL.2017.17},
}