Extended ML es un lenguaje de programación creado por Kahrs, Sannella y Tarlecki basado en ML.