Title :
Robin Milner, a Craftsman of Tools for the Mind
Author :
Plotkin, Gordon D.
Author_Institution :
Lab. for Foundations of Comput. Sci., Univ. of Edinburgh, Edinburgh, UK
Abstract :
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.
Keywords :
ML language; programming languages; formal system manipulation; functional programming language; meta language; Business; Calculus; Computer languages; Concurrent computing; Semantics; Syntactics;
Conference_Titel :
Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on
Conference_Location :
Edinburgh
Print_ISBN :
978-1-4244-7588-9
Electronic_ISBN :
1043-6871
DOI :
10.1109/LICS.2010.31
