✦ LIBER ✦

Programming in Standard ML

✍ Scribed by Harper.

Book ID: 127424796
Year: 2002
Tongue: English
Weight: 1 MB
Edition: lecture notes
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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. It is intended to supersede my Introduction to Standard ML, which has been widely circulated over the last ten years.

📜 SIMILAR VOLUMES

MLS international standard

✍ HILLS, DAVID LL. 📂 Article 📅 1977 🏛 Nature Publishing Group 🌐 English ⚖ 115 KB

Standard ML Basis Manual

✍ Gansner E.R. 📂 Library 📅 2004 🌐 English ⚖ 4 MB

Written as a reference for programmers who use SML, this text provides descriptions of the types, values, and modules that make up the Library and a set of manual pages defining its signatures and structures. In addition, some chapters are devoted to descriptions of some component areas, including I

Safe-for-Space Threads in Standard ML

✍ Edoardo Biagioni; Ken Cline; Peter Lee; Chris Okasaki; Chris Stone 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 67 KB

A Network Protocol Stack in Standard ML

✍ Edoardo Biagioni; Robert Harper; Peter Lee 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 209 KB

Binding-time analysis for Standard ML

✍ Birkedal, Lars ;Welinder, Morten 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 1020 KB

An action compiler targeting Standard ML

✍ Jørgen Bøndergaard Iversen 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 388 KB

We present an action compiler that can be used in connection with an action semantics based compiler generator. Our action compiler produces code with faster execution times than code produced by other action compilers, and for some nontrivial test examples it is only a factor of two slower than the