Skip to main content

Transient Typechecks are (Almost) Free

Roberts, Richard, Marr, Stefan, Homer, Michael, Noble, James (2019) Transient Typechecks are (Almost) Free. In: 33rd European Conference on Object-Oriented Programming, 15-19 July 2019, London, UK. (doi:10.4230/LIPIcs.ECOOP.2019.5) (KAR id:74327)

PDF Author's Accepted Manuscript
Language: English
Download (704kB) Preview
Official URL


Transient gradual typing imposes run-time type tests that typically cause a linear slowdown in

adding types to a program makes the program slower. A virtual machine can employ standard justin-time optimizations to reduce the overhead of transient checks to near zero. These optimizations

so programmers can add types to their code without affecting their programs’ performance.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.4230/LIPIcs.ECOOP.2019.5
Uncontrolled keywords: dynamic type checking, gradual types, optional types, Grace, Moth, object-oriented programming
Divisions: Faculties > Sciences > School of Computing
Depositing User: Stefan Marr
Date Deposited: 09 Jun 2019 21:16 UTC
Last Modified: 12 Jul 2019 14:01 UTC
Resource URI: (The current URI for this page, for reference purposes)
Roberts, Richard:
Marr, Stefan:
Homer, Michael:
Noble, James:
  • Depositors only (login required):


Downloads per month over past year