. . . "implemented in languages such as ML. e.g." .