SML code for UW Programming Languages course