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.