Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author="MILNER, Robin"
cover
The Definition of Standard ML (Revised Edition)
Comment Share
MILNER, Robin

"Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with …

Edition
-
ISBN/ISSN
9780262287005
Collation
1 online resource (xiii, 114 pages) :illustrations
Series Title
-
Call Number
-