"Robin Milner, a Craftsman of Tools for the Mind."

Gordon D. Plotkin (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics