CS-80 SML Support Page

Supporting Software and Related Links
- Basic Info on Emacs Mode for SML-NJ
- More Info on Emacs Mode for SML-NJ -- This is the documentation that comes with the sml-mode. Some key-bindings have been changed for the version used in CS-131.
- The SML Standard Basis Library
- SML-NJ Home Page at Bell Labs (Lucent)
Practice Assignments
- Project 01 - Warm-Up Programming in SML: Numbers, Lists, and Strings
- Project 02 - Warm-Up Programming in SML: Higher-Order Functions and Miscellaneous Munging
- Project 03 - Warm-Up Programming in SML: User Defined Recursive Types and A Simple Read-Eval-Print Loop
Lectures Notes on SML (From Spring 2000 offering of CS-131 Programming Languages)
- Lecture 02 (1/24/00) - Compilers & Interpreters, History of ML, Base Types, Built-in Structured Types
- Lecture 03 (1/26/00) - Functions, Pattern Matching, Polymorphism, Tail Recursion
- Lecture 04 (1/31/00) - Six Higher-Order Functions, Scope, local and let Definitions, The SML Module System: Structures
- Lecture 05 (2/2/00) - Handling Aberrant Conditions: Undefined Results vs. Exceptions
- Lecture 06 (2/7/00) - TypesFest 2000
- Lecture 07 (2/9/00) - A More Involved Datatype Example, The SML Module System: Structures and Signatures
- Lecture 08 (2/14/00) - The SML Module System: Functors
- Lecture 20a (3/29/00) - Mutable Data with Refs.