Fabian Muehlboeck

Sound Gradual Typing Is Nominally Alive and Well

2017 · Conference on Object-Oriented Programming Systems, Languages, and Applications

Recent research has identified significant performance hurdles that sound gradual typing needs to overcome (Takikawa et al. 2016). These performance hurdles stem from the fact that the run-time checks gradual type systems insert into code …