• DocumentCode
    2050080
  • 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
  • fYear
    2010
  • fDate
    11-14 July 2010
  • Firstpage
    58
  • Lastpage
    59
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on
  • Conference_Location
    Edinburgh
  • ISSN
    1043-6871
  • Print_ISBN
    978-1-4244-7588-9
  • Electronic_ISBN
    1043-6871
  • Type

    conf

  • DOI
    10.1109/LICS.2010.31
  • Filename
    5571059
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2050080