Asumu Takikawa

Migratory Typing: Ten Years Later

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, 2017, SNAPL.

Is sound gradual typing dead?

Jan Vitek, Matthias Felleisen, Ben Greenman, 2016, POPL.

How to evaluate the performance of gradual type systems

Jan Vitek, Matthias Felleisen, Robert Bruce Findler, 2019, Journal of Functional Programming.

Gradual typing for first-class classes

Sam Tobin-Hochstadt, Matthias Felleisen, T. Stephen Strickland, 2012, OOPSLA '12.

Contracts for first-class classes

Matthias Felleisen, T. Stephen Strickland, Asumu Takikawa, 2010, DLS '10.

The design, implementation, and evaluation of a gradual type system for dynamic class composition

Asumu Takikawa, 2016 .

Constraining Delimited Control with Contracts

Sam Tobin-Hochstadt, T. Stephen Strickland, Asumu Takikawa, 2013, ESOP.

Towards Practical Gradual Typing

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, 2015, ECOOP.