Programming in Standard ML