瀧川明日夢

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

研究テーマ

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

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

TA

CS 6515 Spring 2013

以前教えた授業:

論文

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年にノースイースタン大学の大学院に入学。大学生活以前は長くオレゴン州に滞在しました。