Interview with Stephen Brookes and Peter W. O’Hearn, recipients of the 2016 Gödel Prize http://processalgebra.blogspot.jp/2016/05/interview-with-stephen-brookes-and.html 面白い。 自分は普通の separation logic は知っているけれど、 concurrent separation logic についてはよく知らなくて、こんな面白い話になっていたとは……
Interview with Stephen Brookes and Peter W. O’Hearn, recipients of the 2016 Gödel Prize
