瀧川明日夢

瀧川明日夢
大学院生
PLT @ プログラミング研究所
コンピュータ・情報科学部
ノースイースタン大学
West Village H 308

I have graduated and will be starting at Igalia in the fall.

研究テーマ

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

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

TA

CS 6515 Spring 2013

以前教えた授業:

論文

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

Towards Practical Gradual Typing [PDF]
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

経歴

2010年にブリティッシュコロンビア大学で学士(情報科学・数学)を授与され同じく2010年にノースイースタン大学の大学院に入学。大学生活以前は長くオレゴン州に滞在しました。