Robin Milner 1934-2010: Verification, Languages, and Concurrency

  • Andy Gordon ,
  • Robert Harper ,
  • John Harrison ,
  • Alan Jeffrey ,
  • Peter Sewell

POPL '11 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages |

Published by ACM Press

Publication

A special session of the symposium pays tribute to Robin Milner; the session features talks by Robert Harper (Carnegie Mellon University), John Harrison (Intel), and Alan Jeffrey (Bell Labs), and is organised by Andrew D. Gordon (Microsoft Research) and Peter Sewell (University of Cambridge).