Asumu Takikawa

According to our database, Asumu Takikawa authored at least 7 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

2017

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

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

2016

Is sound gradual typing dead?

Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Towards Practical Gradual Typing.

Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2013

Contracts for First-Class Classes.

T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, Matthias Felleisen

ACM Trans. Program. Lang. Syst., 2013

Constraining Delimited Control with Contracts.

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

Proceedings of the Programming Languages and Systems, 2013

2012

Gradual typing for first-class classes.

Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012