http://www.cs.ucsd.edu/popl/09/program.html今年はちょっと参加できそうにありませんが（プログラム委員でも著者でもないですし）、いつも通り面白そうです。個人的には、自分のライバル研究が通っていて少し悔しい（笑）です。Parametricityはともかく、r…