[PDF] Elementary Standard Ml eBook

Author : G Michaelson
Publisher : CRC Press
Page : 310 pages
File Size : 41,35 MB
Release : 2018-10-08
Category : Computers
ISBN : 1482286947

GET BOOK

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 : Emden R. Gansner
Publisher :
Page : 469 pages
File Size : 43,36 MB
Release : 2004
Category : ML (Computer program language)
ISBN : 9780511314094

GET BOOK

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
Page : 132 pages
File Size : 36,70 MB
Release : 1997
Category : Computers
ISBN : 9780262631815

GET BOOK

Software -- Programming Languages.

Author : Robin Milner
Publisher : Mit Press
Page : 101 pages
File Size : 44,35 MB
Release : 1990
Category : Computers
ISBN : 9780262631327

GET BOOK

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 :
Page : 320 pages
File Size : 12,51 MB
Release : 1993
Category : Computers
ISBN :

GET BOOK

Software -- Programming Languages.

Author : Jeffrey D. Ullman
Publisher :
Page : 346 pages
File Size : 44,3 MB
Release : 1994
Category : Computers
ISBN :

GET BOOK

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.

Author : Lawrence C. Paulson
Publisher :
Page : 429 pages
File Size : 24,96 MB
Release : 1992
Category : Computers
ISBN : 9780521422253

GET BOOK

This new edition of a successful text treats modules in more depth, and covers the revision of ML language.

Author : Universitetet i Oslo. Institute for Informatics
Publisher :
Page : 27 pages
File Size : 25,6 MB
Release : 1994
Category : ML (Computer program language)
ISBN :

GET BOOK

Abstract: "Standard ML (SML) is a strongly typed, polymorphic functional programming language. The language has been influential in the design of type systems and programming languages in general. Several professional implementations of the language are available, as well as introductory books. The language is general purpose, supporting both applicative and imperative programming, and is yet reasonably simple. This makes SML interesting from an educational point of view. This paper is a critical analysis of SML. The concepts discussed are concrete data types and pattern matching, polymorphism and higher order functions, imperative programming, and type inference. It is an attempt to clarify the problems students of functional programming will meet, as well as the insights they might gain. A short discussion of functional programming in higher education is included."