Implementation of Standard ML
