World Library  

Add to Book Shelf
Flag as Inappropriate
Email this Book

Programming in Standard Ml

By Robert Harper

Click here to view

Book Id: WPLBN0003842418
Format Type: PDF eBook :
File Size:
Reproduction Date: 2015

Title: Programming in Standard Ml  
Author: Robert Harper
Language: English
Subject: Computer Science, Programming, Programming
Collections: Online Programming Books
Publication Date:
Publisher: Carnegie Mellon University


APA MLA Chicago

Harper, R. (2011). Programming in Standard Ml. Retrieved from

Description: Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically-typed language, with a user-extensible type system. It supports polymorphic type inference, which all but eliminates the burden of specifying types of variables and greatly facilitates code re-use. It provides efficient automatic storage management for data structures and functions. It encourages functional (effect-free) programming where appropriate, but allows imperative (effect-ful) programming where necessary (e.g., for handling I/O or implementing mutable data structures). It facilitates programming with recursive data structures (such as trees and lists) by encouraging the definition of functions by pattern matching. It features an extensible exception mechanism for handling error conditions and effecting non-local transfers of control. It provides a richly expressive and flexible module system for structuring large programs, including mechanisms for enforcing abstraction, imposing hierarchical structure, and building generic modules. It is portable across platforms and implementations because it has a precise definition given by a formal operational semantics that defines both the static and dynamic semantics of the language. It provides a portable standard basis library that defines a rich collection of commonly-used types and routines.

Table of Contents
TOC : Overview of Standard ML - Core Language - Module Language - Programming Techniques - Sample Programs.


Click To View

Additional Books

  • C# Array.Search Prog 
  • Windows Applcaition 
  • ASTUDENT_Scratch_Programming (by )
  • An Implementation of LISP 1.5 for the IB... (by )
  • A Proposed Programming System for Knuth'... (by )
  • Open Sources 2.0 : The Continuing Evolut... (by )
  • Moist- macro output input system for the... (by )
  • A Universal Sytanx Checker. (by )
  • A Simulated Micro-programmed Computer Ut... (by )
  • Fundamentals of computer technology (by )
  • Graphic Display and Manipulation of Tree... (by )
Scroll Left
Scroll Right


Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library on the Kindle are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.