Gradual typing for first-class classes. - Asumu Takikawa; T. Stephen Strickland; Christos Dimoulas; Sam Tobin-Hochstadt; Matthias Felleisen (OOPSLA, 2012)

Constraining Delimited Control with Contracts. - Asumu Takikawa; T. Stephen Strickland; Sam Tobin-Hochstadt (ESOP, 2013)

Contracts for First-Class Classes. - T. Stephen Strickland; Christos Dimoulas; Asumu Takikawa; Matthias Felleisen (ACM Trans. Program. Lang. Syst., 2013)

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)

Migratory Typing: Ten Years Later. - Sam Tobin-Hochstadt; Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Ben Greenman; Andrew M. Kent; Vincent St-Amour; T. Stephen Strickland; Asumu Takikawa (SNAPL, 2017)

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)