POPL 2008 PC Workshop

PC Meetingの翌日に、POPL 2008のプログラム委員を中心とする、交流のためのワークショップがありました。R6RSの操作的意味論を定義したロビー（伏字）が、そのときに利用したツールの発表をしていました。わりと実装系の話が多くて、自分の発表が一番理論的(theoretical)だったかも…