Asumu Takikawa

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 3

Top Topics

Classification Trees

Top Venues

J. Funct. Program.

Publications

Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen
How to evaluate the performance of gradual type systems. J. Funct. Program. 29 (2019)
Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa
Migratory Typing: Ten Years Later. SNAPL (2017)
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
Is sound gradual typing dead? POPL (2016)
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen
Towards Practical Gradual Typing. ECOOP (2015)
T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen
Contracts for First-Class Classes. ACM Trans. Program. Lang. Syst. 35 (3) (2013)
Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt
Constraining Delimited Control with Contracts. ESOP (2013)
Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
Gradual typing for first-class classes. OOPSLA (2012)