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:

1978

  • 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

1984

1985

  • 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

1988

  • 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)

1994

  • Spinellis, Diomidis D., (1994) Spinellis, Diomidis D., "Programming Paradigms as Object Classes: A Structuring Mechanism for Multiparadigm Programming", PhD Thesis 1994 University of London

2002

  • (2002) Library of Congress Subject Headings M6
Search in:Google Google scholar World Cat Yahoo Overture Teoma Alta Vista All the web Voila DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder