The Definition of Standard ML - Couverture rigide

Harper, Robert; Milner, Robin; Tofte, Mads

Couverture rigide

ISBN 10 : 0262132559 ISBN 13 : 9780262132558

Editeur : The MIT Press, 1990

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

A propos du livre

À 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.

Détails de l'édition

• Éditeur: The MIT Press
• Date d'édition: 1990
• Langue: anglais
• ISBN 10: 0262132559
• ISBN 13: 9780262132558
• Reliure: Relié
• Nombre de pages: 114
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible