Notes on the ML Programming Language