@inproceedings{618d135ef2ac4b7ea1cbfca014ca1b94,
title = "Transient Typechecks are (Almost) Free",
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.",
keywords = "Benchmarking Evaluation Graal Grace GradualTyping MeMyPublication Moth SOMns TransientTypes Truffle myown",
author = "Richard Roberts and Stefan Marr and Michael Homer and James Noble",
year = "2019",
month = jul,
day = "15",
doi = "10.4230/LIPIcs.ECOOP.2019.5",
language = "English",
isbn = "978-3-95977-111-5",
volume = "134",
series = "ECOOP",
publisher = "Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik",
pages = "5:1--5:28",
editor = "Donaldson, \{Alastair F.\}",
booktitle = "33rd European Conference on Object-Oriented Programming",
}