Title: Four lectures on standard ML