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 08:26, 4 September 2004. 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=5649351"