Scala@PLDI 2015: Portland, OR, USA

Concurrency and Distribution

Types and Verification

Generative Programming

maintained by Schloss Dagstuhl LZI at University of Trier