Introduction to SML
This lectures introduces the technical underpinnings of the language
Standard ML as well as some elementary constructs. In particular, it
discusses the functional programming paradigm, the characteristics of
strongly typed languages, and interpreter-based execution.