<< 2009/05/26 | ホーム | 2009/05/28 >>

Explaining Type Errors In Polymorphic Languages

前読んだ論文の発展みたいな論文。プログラム中の各構文要素（あるいは構文木の各ノード）がなぜその型を持っているか、型変数の値はなぜその値になったのか、といった説明文を生成する。何をやってくれるかは何となくわかるけど、どうやってるかは不明。

author="Mike Beaven and Ryan Stansifer",
title="{Explaining Type Errors In Polymorphic Languages}",
journal="ACM Letters on Programming Languages and Systems",
volumn="2",
number="1-4",
pages="17--30",
year="1993"

http://doi.acm.org/10.1145/176454.176460

タグ : ,
コメント追加 RSS feed for responses to this blog entry
投稿者 kw : 2009/05/27 17:07:00 JST #

本

ビューティフル・マインド、Sylvia Nasar 著、塩川優 訳、 新潮社

読了。J.F.Nash の伝記。

タグ :
コメント追加 RSS feed for responses to this blog entry
投稿者 kw : 2009/05/27 12:31:00 JST #

めも

WebDriver

タグ :
コメント追加 RSS feed for responses to this blog entry
投稿者 kw : 2009/05/27 10:59:00 JST #