H ? « ‹ ← → › »

Language peer sets for ML:
United Kingdom↑
United Kingdom/1973↑
Designed 1973 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus Strict evaluation FPs ↑
Strict evaluation FPs↑
FPs↑
Lambda caculus ↑
Strict evaluation FPs/1973↑
FPs/1973↑
Lambda caculus/1973↑
Strict evaluation FPs/United Kingdom↑
FPs/United Kingdom↑
Lambda caculus/United Kingdom↑

ML(ID:620/ml:001)

Meta Language 

alternate simple view
Country: United Kingdom
Designed 1973
Published: 1973
Genus: Strict evaluation FPs

Meta Language. R. Milner Edinburgh et al, 1973. A strict higher-order functional language with statically-checked polymorphic types, garbage collection and a formal semantics. It began as the metalanguage for the Edinburgh LCF proof assistant. (LCF="Logic for Computable Functions")

LCF ML was implemented in Stanford LISP. Cardelli (1981) implemented ML in Pascal, using the FAM (Functional Abstract Machine).

(Meta-language) is a family of advanced languages with  (usually) functional control structures, strict semantics, a strict polymorphic type system and parameterized modules. The family includes; Standard ML, Lazy ML, Caml, Caml Light, and various research languages.


Places
People:
Structures:
Related languages
Edinburgh LCF → ML   Meta language for
ML → CAML   Dialect of
ML → Elle   Based on
ML → EML   Evolution of
ML → EML   Extension of
ML → FIML   Extension of
ML → Galileo   Based on
ML → HOL-88   Written using
ML → HOL-88   Based on
ML → IFX   Extension of
ML → INFER   Incorporated some features of
ML → LML   Variant
ML → Lucid Synchrone   Evolution of
ML → MCPL   Influence
ML → Mini-ML   Implementation of
ML → Miranda   Strong, Influence
ML → ML-Twig   Written using
ML → Modular Prolog   Influence
ML → NESL   Based on
ML → Ontic   Influence
ML → PFL   Extension of
ML → POPLOG   Implementation
ML → PROP   Incorporated some features of
ML → RUSSELL   Extension of
ML → SML   Evolution of
ML → Sticks&Stones   Adaptation of
References:
  • Gordon , M.J.C. et al (1978) Gordon , M.J.C. et al "A Metalanguage for Interactive Proof in LCF"
          in [POPL 1978] (1978) [ACM SIGACT-SIGPLAN] Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages 1978 , Tucson, Arizona
  • Harland, David M. (1984) Harland, David M. "Polymorphic Programming Languages", Ellis Horwood 1984.
          in [POPL 1978] (1978) [ACM SIGACT-SIGPLAN] Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages 1978 , Tucson, Arizona
  • Albano, Antonio; Cardelli, Luca and Orsini, Renzo (1985) Albano, Antonio; Cardelli, Luca and Orsini, Renzo "Galileo: A Strongly Typed Interactive Conceptual Language" Abstract Extract: Galileo: relation to previous work Extract: Galileo TYPE HIERARCHIES
          in (1985) ACM Trans Database Sys 10(2) June 1985
  • Gries, D. and J. Prins (1985). (1985) Gries, D. and J. Prins (1985). "A new notion of encapsulation." Abstract
          in [LIPE 1985] (1985) SIGPLAN Notices 20(07) July 1985 (Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments)
  • Paulson, LC (1985) Paulson, LC "Lessons learned from LCF: a survey of natural deduction proofs" pp474-479
          in (1985) The Computer Journal 28(5) 1985
  • Mitchell, J. C.; and Harper, R. (1988) Mitchell, J. C.; and Harper, R. "The essence of ML" pp28-46 Abstract DOI
          in [POPL 1988] (1988) [ACM SIGACT-SIGPLAN] Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, California (January 1988)
  • Spinellis, Diomidis D., (1994) Spinellis, Diomidis D., "Programming Paradigms as Object Classes: A Structuring Mechanism for Multiparadigm Programming", PhD Thesis 1994 University of London
          in [POPL 1988] (1988) [ACM SIGACT-SIGPLAN] Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, California (January 1988)
  • (2002) Library of Congress Subject Headings M6
          in [POPL 1988] (1988) [ACM SIGACT-SIGPLAN] Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, California (January 1988)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder