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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Book by Milner Robin Tofte Mads Harper Robert
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiDa: Ammareal, Morangis, Francia
Softcover. Condizione: 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. Codice articolo G-128-722
Quantità: 1 disponibili
Da: Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi Bassi
Condizione: 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). Codice articolo 263412
Quantità: 1 disponibili
Da: Bingo Used Books, Vancouver, WA, U.S.A.
Soft cover. Condizione: Very Good. Spiral paperback in very good condition. No disk included. Codice articolo 92222
Quantità: 1 disponibili
Da: True Oak Books, Highland, NY, U.S.A.
Paperback. Condizione: 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. Codice articolo HVD-51167-A-0
Quantità: 1 disponibili