Standard ML implementation