Logical Methods in Computer Science, Special Issue 15

Special Issue of the Symposium on Principles of Programming Languages 2009 [POPL 2009]

maintained by Schloss Dagstuhl LZI at University of Trier