Robin Milner, a Craftsman of Tools for the Mind
Gordon D. Plotkin · 2010
The paper discusses about the programming language ML (or MetaLanguage) as a language for manipulating formal systems. It has also had much influence on the further development of functional programming languages.