The definition of Standard ML is perhaps where the OP might like to look, for a somewhat more advanced example.