Robin Milner 1934--2010: verification, languages, and concurrency.

Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell

Browse the full POPL paper archive.