Towards Practical Gradual Typing. - Asumu Takikawa; Daniel Feltey; Earl Dean; Matthew Flatt; Robert Bruce Findler; Sam Tobin-Hochstadt; Matthias Felleisen (ECOOP, 2015)

Is sound gradual typing dead? - Asumu Takikawa; Daniel Feltey; Ben Greenman; Max S. New; Jan Vitek; Matthias Felleisen (POPL, 2016)

Herbarium Racketensis: a stroll through the woods (functional pearl). - Vincent St-Amour; Daniel Feltey; Spencer P. Florence; Shu-Hung You; Robert Bruce Findler (Proc. ACM Program. Lang., 2017)

Collapsible contracts: fixing a pathology of gradual typing. - Daniel Feltey; Ben Greenman; Christophe Scholliers; Robert Bruce Findler; Vincent St-Amour (Proc. ACM Program. Lang., 2018)

A Coq library for internal verification of running-times. - Jay A. McCarthy; Burke Fetscher; Max S. New; Daniel Feltey; Robert Bruce Findler (Sci. Comput. Program., 2018)

How to evaluate the performance of gradual type systems. - Ben Greenman; Asumu Takikawa; Max S. New; Daniel Feltey; Robert Bruce Findler; Jan Vitek; Matthias Felleisen (J. Funct. Program., 2019)