水曜日に PLDI 2000 の論文をみんなで分担して読む会に参加しました。 遠藤が発表した論文は以下の 2 つ。 Type-Based Race Detection for Java Functional Reactive Programming from First Principle スライドは以下です。http://dame.dyndns.org/misc/mis…