Imperial College London
SLURP
Sound Languages Underpin Reliable Programming

Links

Local information

Interesting PL topics

The world of PL

Writing skills