Author: G Michaelson
Publisher: CRC Press
ISBN: 1482286947
Category : Computers
Languages : en
Pages : 310
Get Book Here
Book Description
This book is concerned with programming in the language Standard ML (SML), that is using SML to make precise models for computer animation. It draws on the distinction between programming in the small and in the large, plumping exclusively for the former.
Author: Greg Michaelson
Publisher:
ISBN: 9781351992954
Category : Functional programming (Computer science)
Languages : en
Pages : 297
Get Book Here
Book Description
Author: Emden R. Gansner
Publisher:
ISBN: 9780511194351
Category : ML (Computer program language)
Languages : en
Pages : 469
Get Book Here
Book Description
Annotation SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving. The definition for SML's standard library, this work concisely describes the types and functions defined in the library and discusses in depth the library's design and use. This manual will be an indispensable reference for students, professional programmers, and language designers.
Author: Robin Milner
Publisher: MIT Press
ISBN: 9780262631815
Category : Computers
Languages : en
Pages : 132
Get Book Here
Book Description
Software -- Programming Languages.
Author: Åke Wikström
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 472
Get Book Here
Book Description
Author: Robin Milner
Publisher: Mit Press
ISBN: 9780262631327
Category : Computers
Languages : en
Pages : 101
Get Book Here
Book Description
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.
Author: Colin Myers
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 320
Get Book Here
Book Description
Software -- Programming Languages.
Author: Lawrence C. Paulson
Publisher:
ISBN: 9780521422253
Category : Computers
Languages : en
Pages : 429
Get Book Here
Book Description
This new edition of a successful text treats modules in more depth, and covers the revision of ML language.
Author: Emden R. Gansner
Publisher: Cambridge University Press
ISBN: 9781139451406
Category : Computers
Languages : en
Pages : 486
Get Book Here
Book Description
The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, providing manual pages with concise descriptions. In addition, it presents the principles and rationales used in designing the library, and relates these to idioms and examples for using the library. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features of the library include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface. This manual will be an indispensable reference for students, professional programmers, and language designers.
Author: Jeffrey D. Ullman
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 346
Get Book Here
Book Description
Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.