How to evaluate the performance of gradual type systems

B. E.N. Greenman^*, A. S.U.M.U. Takikawa, Max S. New, Daniel Feltey, Robert Findler, J. A.N. Vitek, Matthias Felleisen

^*Corresponding author for this work