@inproceedings{TransientTypechecks-Roberts2019,
    title = {Transient Typechecks are (Almost) Free},
    booktitle = {European Conference on Object-Oriented Programming},
    year = 2019,
    doi = "10.4230/LIPIcs.ECOOP.2019.5",
    url = "https://michael.homer.nz/Publications/ECOOP2019/transient-typechecks-free.pdf",
    author = {Roberts, Richard and Marr, Stefan and Homer, Michael and Noble, James},
    abstract = {
        Transient gradual typing imposes run-time type tests that typically
        cause a linear slowdown. This performance impact discourages the use of
        type annotations because adding types to a program makes the program
        slower. A virtual machine can employ standard just-in-time
        optimizations to reduce the overhead of transient checks to near zero.
        These optimizations can give gradually-typed languages performance
        comparable to state-of-the-art dynamic languages, so programmers can
        add types to their code without affecting their programs’ performance.
    }
}