http://www.cs.ucsd.edu/popl/08/popl-accepted.htmlいつの間にか出ていた。個人的には"The Design and Implementation of Typed Scheme"（型付きSchemeの設計と実装）が衝撃的だと思う。F氏が「長年研究してきたが、やはり陽な型が必要であるとの結論に至っ…

自分自身の研究テーマの一つであるプログラム等価性の証明法について、とある研究者とメールのやり取りをしていたら、λ計算で並列論理和が定義できないことの証明らしきものを再発明してしまった（詳細は確認していません）。Mitchellの教科書(Foundations f…