Synopsis
This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics. ML is the most well-developed and prominent of a new group of functional programming languages. On the cutting edge of theoretical computer science, ML embodies the ideas of static typing and polymorphism and has also contributed a number of novel ideas to the design of programming languages.
Contents: Syntax of the Core. Syntax of Modules. Static Semantics for the Core. Static Semantics for Modules. Dynamic Semantics for Modules. Programs.
Appendixes: Derived Forms. Full Grammar. The Initial Static Basis. The Initial Dynamic Basis. The Development of ML.
"synopsis" may belong to another edition of this title.
About the Author
Robin Milner was Professor Emeritus of Computer Science at the University of Cambridge, UK, and Professor at the Informatics Forum in the University of Edinburgh.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for The Definition of Standard Ml
Stock Image
Explorations in Parallel Distributed Processing. A Handbook of Models, Programs, and Exercises
Seller: Bingo Used Books, Vancouver, WA, U.S.A.
Seller rating 4 out of 5 stars
Soft cover. Condition: Very Good. Spiral paperback in very good condition. No disk included. Seller Inventory # 92222
Seller Image
The Definition of Standard ML
Published by
Mit Pr, Cambridge, MA, 1990
ISBN 10: 0262631326
ISBN 13: 9780262631327
Used
Paperback
First Edition
Seller: True Oak Books, Highland, NY, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. 1st Edition (Unstated). 101 pages; Markings on preface margins only. Heavy fading to spine. Light foxing to the bottom exterior edge of textblock only. Good condition otherwise. No other noteworthy defects. ; - We offer free returns for any reason and respond promptly to all inquiries. Your order will be packaged with care and ship on the same or next business day. Buy with confidence. Seller Inventory # HVD-51167-A-0
Seller Image
The Definition of Standard ML.
Published by
MIT Press, 1990
ISBN 10: 0262631326
ISBN 13: 9780262631327
Used
Paperback
First Edition
Seller: Plurabelle Books Ltd, Cambridge, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Series: Computational Models of Cognition and Perception. xi 101p purple paperback, clean and tight copy, no names or stamps, excellent copy Language: English. Seller Inventory # 243130
Buy Used
US$ 24.62
Shipping:
US$ 10.62
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
The Definition of Standard ML (Computational models of cognition and perception).
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands
Seller rating 4 out of 5 stars
Condition: as new. Cambridge, MA: The MIT Press, 1990. Paperback. 114 pp. English text. Condition : as new. - This book presents the official, formal definition of the programming language ML including the rules for grammar and static and dynamic semantics. ML is the most well-developed and prominent of a new group of functional programming languages. On the cutting edge of theoretical computer science, ML embodies the ideas of static typing and polymorphism and has also contributed a number of novel ideas to the design of programming languages. Condition : as new copy. ISBN 9780262631327. Keywords : computer studies, ML (Computer program language). Seller Inventory # 263412
Buy Used
US$ 19.15
Shipping:
US$ 34.97
From Netherlands to U.S.A.
Quantity: 1 available
Stock Image
The Definition of Standard Ml
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # G-128-722
Stock Image
The Definition of Standard Ml
Seller: GoldBooks, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # 16O27_56_0262631326