1 Service Management Layer
Capa de Gestión de Servicio
Lenguaje de programación de uso general, modular, con comprobación de tipos en fase de compilación e inferencia de tipos. SML desciende del lenguaje de programación ML empleado para la demostración de teoremas. Creado en 1990, se ha revisado y simplificado en 1997.