Two examples of ML language.
Featuring lexical scoping and structure/module system.