@inproceedings{bauman_bolz-tereick_siek_tobin-hochstadt__sound_gradual_typing_only_mostly_dead,
    author = {Bauman, Spenser and Bolz-Tereick, Carl Friedrich and Siek, Jeremy and Tobin-Hochstadt, Sam},
    title = {Sound Gradual Typing: Only Mostly Dead},
    booktitle = {OOPSLA},
    month = Oct,
    year = {2017},
    doi = {http://doi.acm.org/10.1145/3133878},
    publisher = {ACM},
}