Klik op een omslag om naar Google Boeken te gaan.
Bezig met laden... Commentary on Standard ML (editie 1991)door Robin Milner (Auteur), Mads Tofte (Auteur)
Informatie over het werkCommentary on Standard ML door Robin Milner
Geen Bezig met laden...
Meld je aan bij LibraryThing om erachter te komen of je dit boek goed zult vinden. Op dit moment geen Discussie gesprekken over dit boek. Geen besprekingen geen besprekingen | voeg een bespreking toe
The full mathematical description of the functional programming language ML was given in Milner, Tofte, and Harper's Definition of Standard ML. This companion volume explains in depth the meaning, or semantic theory, of ML. Together, the two volumes provide a complete understanding of the most prominent of a new group of functional programming languages that includes Haskell and Scheme. In making the Definition easier to understand, the authors not only explain what ML is, they explain why it is. They present some of the rigorous analysis that supports the Definition including a selection of theorems that express important properties of the language. The Commentaryis also a working document that shows the way in which the specialized theory of ML can contribute to broader research on language design and semantics. Robin Milner is Professor of Computer Science and Director of the Laboratory for Foundations of Computer Science at the University of Edinburgh. Mads Tofte is Lecturer at the University of Nigeria. Contents: Preface. Executing a Simple Program. Dynamic Semantics for the Core. Dynamic Semantics for the Modules. Static Semantics for the Core. Type Declarations and Principality. Static Semantics for the Modules. Signature Matching. Elaboration of Functors. Admissible Semantic Objects and Proofs. Elaboration of Signature Expressions. Principal Signatures. Appendixes: Proof of Principality. Identifier Status. Solutions to Exercises. Mistakes and Ambiguities. Geen bibliotheekbeschrijvingen gevonden. |
Actuele discussiesGeen
Google Books — Bezig met laden... GenresDewey Decimale Classificatie (DDC)005.13Information Computing and Information Computer programming, programs, data, security Programming LanguagesLC-classificatieWaarderingGemiddelde:
Ben jij dit?Word een LibraryThing Auteur. |