Articles liés à The Definition of Standard ML
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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Robert Harper is a Professor of Computer Science at Carnegie Mellon University.
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.
Mads Tofte is Vice Chancellor, IT University of Copenhagen.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour The Definition of Standard ML
Image d'archives
The Definition of Standard Ml
Edité par
MIT Press, 1990
ISBN 10 : 0262631326
ISBN 13 : 9780262631327
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : 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. N° de réf. du vendeur G-128-722
Quantité disponible : 1 disponible(s)
Image d'archives
The Definition of Standard ML (Computational models of cognition and perception).
Edité par
Mit Pr, 1990
ISBN 10 : 0262631326
ISBN 13 : 9780262631327
Ancien ou d'occasion
Couverture souple
Vendeur : Kloof Booksellers & Scientia Verlag, Amsterdam, Pays-Bas
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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). N° de réf. du vendeur 263412
Quantité disponible : 1 disponible(s)
Image d'archives
Explorations in Parallel Distributed Processing. A Handbook of Models, Programs, and Exercises
Edité par
MIT Press, 1989
ISBN 10 : 0262631326
ISBN 13 : 9780262631327
Ancien ou d'occasion
Soft cover
Vendeur : Bingo Used Books, Vancouver, WA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Soft cover. Etat : Very Good. Spiral paperback in very good condition. No disk included. N° de réf. du vendeur 92222
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Definition of Standard ML
Edité par
Mit Pr, Cambridge, MA, 1990
ISBN 10 : 0262631326
ISBN 13 : 9780262631327
Ancien ou d'occasion
Paperback
Edition originale
Vendeur : True Oak Books, Highland, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur HVD-51167-A-0
Quantité disponible : 1 disponible(s)
Image d'archives
The Definition of Standard Ml
Vendeur : dsmbooks, Liverpool, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
paperback. Etat : Good. Good. book. N° de réf. du vendeur D7S9-1-M-0262631326-3
Quantité disponible : 1 disponible(s)