Standard ML Resources ↩

This document gathers Standard ML related resources we have collected so far.

Blogs

My recreational programming in 2024: Mostly Standard ML by Simon Zelazny, December 2024.
A Comparison of Haskell and Standard ML by Peyton McGinnis, December 2023.
What was wrong with SML? by Mark Dominus, April 2022.
SML for Haskellers, April 2015.
Messing with Standard ML and Moscow ML by Keith Gaughan, 2008.

The Standard ML Basis Library by Emden R. Gansner and John H. Reppy, 2004.
(Cambridge University Press, ISBN 978-0521791427, 484 pages)
Introduction to Programming using SML by Michael R. Hansen & Hans Richel, 1999.
(Addison-Wesley, ISBN 978-0201398205, 376 pages)
Elements of ML Programming (2^nd Edition) by J.D. Ullman, 1997.
ML for the Working Programmer (2^nd Edition) by L.C. Paulson, July 1996.
(ISBN 9780521565431)
Programming with Standard ML by Colin Myers & al., 1993
(Prentice Hall, ISBN 978-0137220755, 304 pages)

Beyond Objects: Programming in the 21st Century by David Stotts, Fall 2024.
CSCI 384: Foundations of Programming Languages by Jim Fix, 2021.
COMP 105 – Programming Languages by Kathleen Fisher, April 2015.
CMSC 22300: Functional Programming by David MacQueen, Spring 2012.
Data Structures and Functional Programming by Andrew Myers, Spring 2008.
CS538: Introduction to Programming Languages by Charles N. Fischer, Spring 2008.
CS 334: Principles of Programming Languages by Stephen Freund, ????.
CMSC 336: Type Systems for Programming Languages by Umut Acar and Amal Ahmed, 2008.
CSE 341: Lecture Notes by Keunwoo Lee, 2004.
An Introduction to Algorithms and Datastructures in SML by M. Fourman & al., 1994.

Programming in Standard ML '97: An On-line Tutorial by Stephen Gilmore, September 1997.
SML/NJ Documentation and Literature
Introduction to Standard ML (Moscow ML) by Ray Toal.

mics/March 2025 ▲