• Computer Science
  • Published 1994

The definition of Extended ML

@inproceedings{Kahrs1994TheDO,
  title={The definition of Extended ML},
  author={Stefan Kahrs and Donald Sannella and Andrzej Tarlecki},
  year={1994}
}
This document formally defines the syntax and semantics of the Extended~ML language. It is based directly on the published semantics of Standard~ML in an attempt to ensure compatibility between the two languages. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 20 CITATIONS

References

Publications referenced by this paper.