65. Birthday: Robin Milner 1999

Semantic Foudations

Programming Logic

Programming Languages

Concurrency

Mobility

maintained by Schloss Dagstuhl LZI, founded at University of Trier