Operating Systems
Programming Languages
Microsoft Technologies
Computer Science
Software Engineering
Web Programming
Web Technologies

Contact Us | What's New | Missing Link | Feedback

Other Programming

Book Title : Programming in Standard ML
eBook download format(s) : pdf pdf htm 
Author(s) : Robert Harper
Section : Other Programming
Book Review:

Draft Description
This book is an introduction to programming with the Standard ML programming language. It began life as a set of lecture notes for Computer Science 15-212: Principles of Programming, the second semester of the introductory sequence in the undergraduate computer science curriculum at Carnegie Mellon University. It has subsequently been used in many other courses at Carnegie Mellon, and at a number of universities around the world.

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

There are several implementations of Standard ML available for a wide variety of hardware and software platforms. The best-known compilers are Standard ML of New Jersey, Moscow ML, MLKit, and PolyML. These are all freely available on the worldwide web. Please refer to The Standard ML Home Page for up-to-date information on Standard ML and its implementations.

add to                 Digg!

You may use anyone of the download options

eBook VersionLook @ Amazon
Front Cover

Missing Link?, Report It and try these 3 + 1 alternates...

Tell a Friend!

Similar Book titles in Other Programming section:
Ada 95: The Craft of Object-Oriented Programming
Pascal Programming
Principles of Programming Languages
Programming Language Examples Alike Cookbook
Prolog Programming: A First Course
ZX81 BASIC Programming
Programming in Oberon - Steps Beyond Pascal and Modula
Ada Distilled: An Introduction to Ada Programming
Ada 95 Rationale: The Language, the Standard Libraries
Rebol Programming For The Absolute Beginner
The Big Online Book of Linux Ada Programming
An Introduction to Programming in Emacs Lisp
Modular Programming with Fortran 90
User Notes On Fortran Programming
Fortran 77 Standard
An Introduction to Logic Programming Through Prolog
The INTERCAL Programming Language -Revised Reference Manual
The SMALL Programming Language (the Small booklet The Language)
Algae - Another Matrix Programming Language
Programming Forth
Programming In Lua
Linear Programming, Second Edition - Foundations and Extensions
Seamless Object-Oriented Software Architecture: Analysis and Design of Reliable Systems
Ada in Action: With Practical Programming Examples, Second Edition
Developing Applications With Objective Caml
Type Systems for Programming Languages
Introduction to Functional Programming
The Implementation of Functional Programming Languages
The Craft of Programming
A Practical Theory of Programming, Second Edition
Prolog and Logic Programming
Learning Object Oriented Programming with Delphi
Introduction to Programming for Image Analysis with VTK

Similar Book titles in Other sections:

Section: CS -> Compilers and Languages
Programming Languages: Application and Interpretation
Functional Programming and Parallel Graph Rewriting
Programming in Martin-Lof's Type Theory
Advanced Programming Language Design
Programming from Specifications, Second Edition
Show all..

Section: Data Structures and Algorithms
Concepts, Techniques, and Models of Computer Programming
Patterns for Adaptive Programming (AP)
Art of Programming Contest

Section: Multimedia & Game Development
Programming The Nintendo Game Boy Advance: The Unofficial Guide

Section: CS -> Theory
Type Theory and Functional Programming
Applicative Programming and Specification
Introduction to Objective Caml

Section: DB -> DB / 2
Road Map to DB2 Programming

Section: DB -> Oracle
Oracle Programming with Visual Basic
Oracle PL/SQL Programming, 2nd Edition
Oracle PL/SQL Programming: Guide to Oracle8i Features
Advanced Oracle PL/SQL Programming with Packages (Nutshell Handbook)

Section: DB -> Others
Data Transfer Strategies (between XML and RDBM)
Database Programming with Perl
Programming the Perl DBI
Teach Yourself Database Programming with Visual C++ 6 in 21 Day

Section: DB -> SQL
Embedded SQL Programming Guide

Section: DB -> SQL Server
SQL Server 2005 Stored Procedure Programming in T-SQL & .NET

Section: Device Drivers
Streams Programming Guide

Section: Microprocessor
Assembly Language Programming Tools for the IA-64 Architecture
IA-32 Intel Architecture Software Developer's Manual Volume 3: System Programming Guide
Programming PIC Microcontroller in C (CC5X compiler)
Programming PIC Microcontrollers in BASIC
8080A-8085 Assembly Language Programming
Show all..

Section: Peripherals
Programming guide and sample code for RTL8139 family
Serial Port Programming Information ZIP
SoundBlaster Programming Information v0.90

Section: Internet
The XML Files : Using XML for Business-to-Business and Business-to-Consumer Applications

Section: Advanced Java
Principles of Object-Oriented Programming in Java
Tricks of Java Programming Gurus
Practical Artificial Intelligence Programming in Java
Concurrent Programming Using Java

Section: Java Enterprise Edition
J2EE and XML Development
Working with Java and XML
Programming Jakarta Struts
Programming Jakarta Struts, 2nd Edition
Java and XML
Show all..

Section: Java User Interface
Programming User Interfaces with JFC
Teach Yourself Internet Game Programming With Java in 21 Days

Section: Java Language
Code Conventions for the Java Programming Language
Essentials of the Java Programming Language, Part 1
Essentials of the Java Programming Language, Part 2
Peter Norton's Guide to Java Programming
Teach Yourself Java 1.1 Programming in 24 Hours
Show all..

Section: Java Networking
Web Programming with Java
Java Thin Client Programming

Section: Java Tools
Java Programming Guide for OS/390
IMS Version 7 and Java Application Programming

Section: Mathematics
Programming for Engineers with Mathematica
An Introduction to Linear Programming and the Simplex Algorithm

Section: Miscellaneous
Michael Abrash's Graphics Programming Black Book
Microsoft RPC Programming Guide
The Unicode Standard, Version 3.0
Concurrent Programming in Erlang

Section: Microsoft Certifications
Programming Desktop Applications With MS Visual Basic6 MCSD training kit

Section: Microsoft C Sharp (C#)
C# COM+ Programming
C Sharp Network Programming
Programming C# (2nd Edition)
Mastering Windows 2000 Programming with Visual C++
Mastering CSharp Database Programming
Show all..

Section: Microsoft COM/DCOM/ActiveX/ATL
ActiveX Programming Unleashed
Activex Programming With Visual C++ 5
Programming Distributed Applications With COM And Microsoft Visual Basic 6.0
Teach Yourself Activex Programming in 21 Days
Programming ADO
Show all..

Section: Microsoft .(dot) net
Applied Microsoft .Net Framework Programming
Programming Microsoft.NET
Web Programming with Visual J++
Test King - Developing XML Web Services and Server Components with Microsoft Visual Basic .NET MCSD/MCAD

Section: Office Development
Programming Microsoft Visual Interdev 6
Programming Microsoft Office 2000 Web Components
Programming Microsoft Outlook and Microsoft Exchange

Section: Microsoft Visual Basic
Programming Microsoft Visual Basic 6
Practical Standards for Microsoft Visual Basic
Web Programming with Visual Basic
COM+ Programming with Visual Basic
Programming VB .NET: A Guide for Experienced Programmers
Show all..

Section: Microsoft Visual C++
Programming Visual C++, 5th Edition
Teach Yourself Database Programming with VC++ 6 in 21 Days
Programming Windows with MFC
Mastering Windows 2000 Programming with Visual C++

Section: MS Web Technologies
Programming Microsoft Internet Explorer 5
Programming Active Server Pages

Section: Windows Development
Programming the Microsoft Windows Driver Model, Second Edition
Tricks of the Windows Game Programming Gurus (2nd Edition)
Programming Windows CE
Programming Server Side Applications For Microsoft Windows 2000
Programming Applications For Microsoft Windows
Show all..

Section: Networking
MPI: A Message-Passing Interface Standard
Programming Principles in Java: Architectures and Interfaces
Wireless Technology: Protocols, Standards, and Techniques

Section: Other Engineering
Standard Handbook of Petroleum & Natural Gas Engineering

Section: GNU/Linux OS
Advanced Linux Programming
Introduction to Socket Programming
Teach Yourself Shell Programming in 24 Hours
Effective AWK Programming
X Window and Motif Programming Guide
Show all..

Section: Embedded and RTOS
Programming Embedded Systems in C and C++
Firmware standards manual

Section: Solaris OS
Programming Interfaces Guide
Streams Programming Guide
Multithreaded Programming Guide

Section: OS Theory
Programming the Be Operating System
Spring Concepts, Internals Architecture and Programming
HOPE: A Programming Model for Optimism
The Art of Unix Programming

Section: Unix OS
Nextstep Programming: Step One : Object-Oriented Applications/Book and Disk
The Unix Programming Environment
Volume 7A: XView Programming Manual

Section: Assembly Language
Windows Assembly Language & Systems Programming: 16- And 32-Bit Low-Level Programming for the PC and Windows
Introduction to RISC Assembly Language Programming
Programming from the Ground Up
The Art of Assembly Language Programming
Win32 Programming for x86 Assembly Language
Show all..

Section: C Language
Introduction to C and C++ Programming
C Programming Tutorial (K&R version 4)
Writing Bug-Free C Code for Windows: A Programming Style That Automatically Detects Bugs in C Code
Programming in C: A Tutorial
C Programming
Show all..

Section: COBOL Programming
ZingCOBOL: A Beginner's Guide to Programming in COBOL
COBOL Programming Course
COBOL Programming Guide
VisualAge COBOL for Windows Programming Guide
COBOL Programming Standards
Show all..

Section: C++ Language
An Introduction to C++ and Object Oriented Programming
An Introduction to C++ Programming
C++ in Action: Industrial Strength Programming Techniques
C++ Programming for Scientists
C++ Programming HOW-TO
Show all..

Section: Perl Scripting
Advanced Perl Programming
Effective Perl Programming: Writing Better Programs With Perl
Embedding Perl in HTML with Mason
Practical Perl Programming
Programming Perl 5.0 CGI Web Pages for Microsoft Windows NT
Show all..

Section: Ruby Programming
Programming Ruby - The Pragmatic Programmer's Guide

Section: Scripting
Practical Programming in Tcl and Tk
The Scheme Programming Language, Second Edition
(the eff-bot guide to) The Standard Python Library
Tclwise - Guide to the Tcl Programming Language
The Scheme Programming Language, Third Edition
Show all..

Section: Smalltalk
Smalltalk/V Mac Tutorial and Programming Handbook
Smalltalk-80: The Interactive Programming Environment

Section: Redbooks Draft
Communications Server for z/OS V1R8 TCP/IP Implementation Volume 2: Standard Applications
IBM Communications Server for z/OS V1R10 TCP/IP Implementation: Volume 2: Standard Applications
DB2 9 pureXML Guide
Programming the Cell Broadband Engine Examples and Best Practices
ABCs of z/OS System Programming Volume 8
Show all..

Section: Redbooks
ABCs of z/OS System Programming Volume 9
IBM z/OS V1R11 Communications Server TCP/IP Implementation Volume 2: Standard Applications
DB2 9: pureXML Overview and Fast Start
IBM System S Programming Guide
ABCs of z/OS System Programming Volume 7
Show all..

Section: Redpapers
Remodeling a Standard Store into the Extended Sites Model With WebSphere Commerce Business Edition V5.6.1
IBM WebSphere DataPower SOA Appliances Part III: XML Security Guide
WebSphere DataPower SOA Appliance: The XML Management Interface
Getting Started with the WebSphere Application Server Feature Pack for XML
Building a World-class Data Center Network Based on Open Standards
Show all..

Section: Redpapers Draft
IBM WebSphere DataPower SOA Appliances Part III: XML Security Guide
Creating IDML Discovery Books for IBM Tivoli Application Dependency Discovery Manager using IBM Tivoli Directory Integrator
Creating IDML Discovery Books with IBM Tivoli Directory Integrator
Getting Started with the Feature Pack for XML
Getting Started with the WebSphere Application Server Feature Pack for XML
Show all..

Section: Software Engineering
How to Design Programs: An Introduction to Programming and Computing
Programming from Specifications
Reusable Software Components: Object-Oriented Embedded Systems Programming in C
Reasoned Programming

Section: Web Programming
The Complete Idiot's Guide to Creating an HTML Web Page
Web Client Programming with Perl
CGI Programming on the World Wide Web
CGI Programming Unleashed
Special Edition Using Perl 5 for Web Programming
Show all..

Section: Web Technology
Practical Guide to SGML/XML Filters
Introduction to Dynamic HTML
Dynamic Duo: Cross-Browser Dynamic HTML
Beginner's Guide to DHTML
HTML: The Definitive Guide, 2nd Edition
Show all..

Section: XML, XSL & UML
Processing XML with Java
Learning XML, 2nd Edition
XML Chapters
XML Schema Tutorial
Show all..

Similar Books from Amazon :

Tell a Friend!

©2008 - Home - Privacy Policy - Program Policy, Terms and Conditions