Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
The Standard ML Basis Library

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

Of all modern programming languages, Standard ML has ascribed perhaps the highest priority to rigorous semantic definition. It is therefore the preferred language for many applications where rigor is important; this is notably true of tools for formal program analysis. It has also gained users who value its high degree of portability, a direct consequence of the unambiguity of its definition.

Now Emden Gansner and John Reppy have equipped SML with another essential ingredient: a library of signatures, structures, and functors which will greatly ease the programmer’s task. TheSMLBasis Library has been long in gestation, but this has ensured that it contains the right things. Only by close cooperation with users, over a considerable period of time, can one be sure of consistency and balance in defining a library. We can therefore be confident that the Basis Library will bring SML into still wider use, and we owe warm thanks to its creators for undertaking an arduous task with skill, care, and dedication.
(HTML tags aren't allowed.)

Managing Web Service Quality: Measuring Outcomes and Effectiveness (Premier Reference Source)
Managing Web Service Quality: Measuring Outcomes and Effectiveness (Premier Reference Source)
Web services are increasingly important in information technology with the expansive growth of the Internet. As services proliferate in domains ranging from e-commerce to digital government, the need for tools and methods to measure and guide the achievement of quality outcomes is critical for organizations.

Managing Web Service...

Anime
Anime

A complete overview of the art form, from the coauthors of Studio Ghibli

This guide to anime offers an overview of the art form, looking at its development in Japan and its export to other cultures. It includes a history of Japanese animation from early examples to the relaunch of animation as a viable commercial...

Essential 3ds Max 2008
Essential 3ds Max 2008

Essential 3ds Max 2008 offers a user-friendly introduction to the newest version of 3ds Max. From an overview of the user interface, tools, and modifers to modeling exercises that demonstrate the creation of an interior, a basic character, and a suit of armor, this book provides readers with a guide to getting the most out of Max. Learn how...


Electronics For Dummies
Electronics For Dummies

Begin having fun with electronics projects right away

Explore the basic concepts of electronics, build your electronics workbench, and create cool projects

Wish you could fix that faulty doorbell, hook up a motion detector, or maybe build your very own robot? This book will really get you charged up! It won't make...

Clojure for Java Developers
Clojure for Java Developers

Key Features

  • Write apps for the multithreaded world with Clojure's flavor of functional programming
  • Discover Clojure's features and advantages and use them in your existing projects
  • The book is designed so that you'll be able put to use your existing skills and software knowledge...
Waste Treatment in the Metal Manufacturing, Forming, Coating, and Finishing Industries (Advances in Industrial and Hazardous Wastes Treatment)
Waste Treatment in the Metal Manufacturing, Forming, Coating, and Finishing Industries (Advances in Industrial and Hazardous Wastes Treatment)
Comprehensive in its scope and directly applicable to daily waste management problems of specific industries, Waste Treatment in the Metal Manufacturing, Forming, Coating, and Finishing Industries covers hazardous industrial waste treatment, renovation, and reuse in the metal manufacturing, forming, coating, enameling, and...
©2021 LearnIT (support@pdfchm.net) - Privacy Policy