<< Immutable Objects for a Java-Like Language | ホーム | めも >>

Searching for Type-Error Messages

前読んだ論文の発展版。同一関数内に複数型エラーがある場合に対応したり、評価したり、C++ に応用したりしている。

author="Benjamin S. Lerner and Matthew Flower and Dan Grossman and Craig Chambers",
title="{Searching for Type-Error Messages}",
booktitle="PLDI 2007",
publisher="ACM Press",
pages="425--434",
year="2007"

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

タグ : ,



コメント追加 トラックバック送信