Programming in Standard ML (Robert Harper)

0.0 (0)
Programming in Standard ML (Robert Harper)

A general-purpose programming language with a major project focus is Standard ML. For the benefit of users and implementers alike, as well as everyone else involved with the language, this book offers a formal description of Standard ML.

The Standard ML programming language is explained in this book as an introduction to programming. It started out as a set of lecture notes for Carnegie Mellon University's undergraduate computer science course, Computer Science 15-212: Principles of Programming, which was the second semester in the introductory sequence. Later, it was applied to numerous additional courses at Carnegie Mellon and at various colleges all over the world.

The informal generation of instances that illustrate both appropriate and inappropriate methods is the focus of this work. It demonstrates the usefulness of functional language as a tool for software design and provides real-world examples to accommodate complex software engineering problems.

Ebook Details

About the Authors
Robert Harper is a Professor of Computer Science at Carnegie Mellon University.
Published Date / Year
eBook Format

Similar Programming & Computer Books

Le langage Caml - The Caml language (Pierre Weis, et al)
This free prpogramming book is about The Caml language. Caml a recently developed programming language called aml is incredibly powerful while still being simple to learn. ...
Développement d'applications avec Objective Caml - Application development with Objective Caml (Emmanuel Chailloux, et al)
The authors' educational experience of learning programming ideas using the Objective CAML language inspired them to publish a book on the subject. ...
Game Programming in Haskell (Elise Huard, et al)
Predictably, Game Programming in Haskell provides an introduction to creating games in the language.  
Scheme 9 from Empty Space: A Guide to Implementing Scheme in C (Nils M. Holm)
This free programming book serves as a comprehensive guide to the internal workings of the named scheme system. It offers a thorough explanation of every facet of a complex...
Logic Programming in Scheme (Nils M. Holm)
These queries are addressed in this tiny book: Logic programming: What is it? Why is logic programming difficult with negation? Who or what cuts? How should I approach logic...
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Andrea Asperti, et al)
This free programming book offers an accessible introduction to category theory for computer scientists as well as useful examples in the context of programming language design. In "Categories, Types...
Category Theory for Computing Science (Michael Barr, et al)
This free programming book is a textbook on fundamental category theory that was developed with computing science scholars and students in mind. In the context of examples and applications...
Scheme 入门教程 - Scheme introductory tutorial (Takafumi Shido)
This is a gentle and step-by-step Scheme free programming tutorial for beginners. The target audience is PC users with little programming experience.
Principles of Algorithmic Problem Solving (Johan Sannemo)
The art of creating effective formulas to solve mathematical issues is known as algorithmic problem-solving. This book aims to make two contributions to the literature on algorithmic problem-solving. ...
Speeding Through Haskell (Mihai-Radu Popescu)
Since Haskell is far more rigorous theoretically than other programming languages, the correctness of programs may be demonstrated.

Others Programming Books by Robert Harper

This e-book gives a tremendous advent to a wide variety of programming language ideas. they are all uniformly and punctiliously explained, the use of techniques that are very beneficial...

User reviews

There are no user reviews for this listing.
Rate this Book