瀧川明日夢

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

I am currently on the job market and would be interested in hearing about opportunities in functional programming, free software, or industry research in programming languages.

研究テーマ

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

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. To appear., 2015

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