Jump to content

Extended ML

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Danakil (talk | contribs) at 05:10, 6 September 2004 (this is needed under the interpretation of ExtML as a member of the ML family instead of an ML dialect). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Extended ML is an extension to the ML programming language created by Kahrs, Sannella and Tarlecki.

References

  • S. Kahrs, D.Sannella, and A. Tarlecki. The definition of extended ML: A gentle introduction. Theoretical Computer Science, 173(2):445-484, 28 Feb 1997



Stub icon

This computing article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Extended_ML&oldid=5733557"