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   Based on
ML HOL-88   Written using
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