Foundations and Trends in Programming Languages

FTPL Home Page

maintained by Schloss Dagstuhl LZI at University of Trier