Directory of ML Resources

Home > Computers > Programming > Languages > ML

ML is an abbreviation for Meta Language. It was created by R. Milner and a team, in 1973. It is a strict higher-order functional language, with a formal semantics. It is garbage collected, and the first language to include polymorphic typing that is statically checked. ML is one of the direct inspirations informing Alan Kay and the design of Smalltalk.

Subcategories

• Caml
• Implementations
• NET
• Objective Caml
• Operating Systems
• Poplog

Resources in This Category

• Comp.Lang.ML FAQ: Monthly Posting

  http://www.faqs.org/faqs/meta-lang-faq/
  FAQs about ML.

• Edinburgh LFCS ML-Club

  http://www.dcs.ed.ac.uk/home/tpcc/ML-Club/
  ML users club at University of Edinburgh: meeting times, mail list, publications, links.

• Hello, World Program

  http://www2.latech.edu/~acm/helloworld/ml.html
  In ML, SML.

• mGTK

  http://mgtk.sourceforge.net/
  Glue code to make GTK+ accessible from SML. This allows SML programmers to add graphical user interfaces to their programs.

• Programming in Standard ML 97

  http://www.dcs.ed.ac.uk/home/stg/NOTES/
  An on-line tutorial by Stephen Gilmore.

• sml tk

  http://www.informatik.uni-bremen.de/~cxl/sml_tk/
  Standard ML package giving a portable, typed, abstract interface to the user interface description and command language Tcl/Tk. Allows making graphical user interfaces in structured and reusable ways, supported by SML's powerful module system.

• Standard ML vs. Objective Caml

  http://www.mpi-sws.mpg.de/~rossberg/sml-vs-ocaml.html
  A quick comparison of program fragments in the two ML dialects.

Related Categories

• Home > Computers > Programming > Languages > Comparison and Review
• Home > Computers > Programming > Languages > Compiled > Functional
• Home > Computers > Programming > Languages > Functional
• Home > Computers > Programming > Languages > Garbage Collected
• Home > Computers > Programming > Languages > Language-OS Hybrids
• Home > Computers > Programming > Languages > Open Source

Other Languages

• Japanese

 

Home > Computers > Programming > Languages > ML

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us