Extended ML se utiliza para la enseñanza de desarrollo formal de programas, especificación de programas y para investigación en verificación automatizada de programas.