Verwandte Artikel zu The Definition of Standard ML
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagMIT Press
- Erscheinungsdatum1990
- ISBN 10 0262631326
- ISBN 13 9780262631327
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten114
- Kontakt zum HerstellerNicht verfügbar
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für The Definition of Standard ML
Beispielbild für diese ISBN
The Definition of Standard ML
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Missing dust jacket; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.4. Artikel-Nr. G0262631326I3N01
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The Definition of Standard Ml
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Artikel-Nr. G-128-722
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
The Definition of Standard ML (Computational models of cognition and perception).
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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). Artikel-Nr. 263412
Anzahl: 1 verfügbar