POPL 2007 accepted papers

いつの間にか出ていた。20秒ぐらい見た限り、自分の研究に直接の関係があるという意味で興味があるのは

A Complete, Co-Inductive Syntactic Theory of Sequential Control and State

と

Secure Implementations of Typed Channel Abstractions

あたりか。