瀧川明日夢

プログラミング言語の実用的なデザイン。特にソフトウェアの進化を型システムや 契約プログラミングを使ってサポートすること。

Racketプログラミング言語の開発もやっています。

Is Sound Gradual Typing Dead? [PDF][Slides]
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen
POPL. pp. 456-468, 2016

Towards Practical Gradual Typing [PDF][Slides]
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert B. Findler, Sam Tobin-Hochstadt, and Matthias Felleisen
ECOOP. pp. 4-27, 2015

Position Paper: Performance Evaluation for Gradual Typing [PDF]
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen
STOP, 2015

Contracts for First-Class Classes: Theory and Practice [PDF]
T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, and Matthias Felleisen
TOPLAS. Volume 35 Issue 3, 2013

Constraining Delimited Control with Contracts [PDF]
Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt
ESOP. pp. 229-248, 2013

Gradual Typing for First-Class Classes [PDF][Technical Report]
Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen
OOPSLA. pp. 793-810, 2012