Mads Tofte (nacido el 20 de abril de 1959) es un informático danés que ha contribuido en particular a la programación funcional y al lenguaje de programación Standard ML .
Tofte nació en Lyngby , Dinamarca y creció en Holbæk , Dinamarca . Estudió informática y matemáticas en la Universidad de Copenhague, donde obtuvo una maestría (con el supervisor Neil D. Jones ) en 1984; luego en la Universidad de Edimburgo, donde obtuvo un doctorado en 1988 (asesorado por Robin Milner ). Es doctor honoris causa 2007 de la Universidad de Kingston .
En su tesis de maestría de 1984 [1] y trabajos anteriores, investigó y formalizó el generador de compiladores CERES (con Neil D. Jones), y demostró que (1) un generador de compiladores es en sí mismo un compilador desde definiciones de lenguaje hasta compiladores; y (2) bajo supuestos adecuados existe una definición de lenguaje que, cuando se aplica a sí mismo, genera un generador de compiladores. Esto tiene estrechas conexiones con la autoaplicación en evaluación parcial .
En su tesis doctoral desarrolló y demostró ser correcto el primer sistema de tipos de sonido para referencias polimórficas estilo ML , un problema abierto importante en ese momento. Además, formalizó una variante del sistema de módulos del lenguaje de programación Standard ML .
Mads Tofte es coautor de la Definición [2] de ML estándar y el comentario asociado, probablemente la descripción más precisa desarrollada para cualquier lenguaje de programación realista. Co-desarrolló el ML Kit, una implementación del ML estándar cuya estructura sigue de cerca la Definición.
Posteriormente desarrolló (con Jean-Pierre Talpin ) la noción de inferencia de región , una técnica de análisis de programas y gestión de la memoria que evita o minimiza el uso de la recolección de basura . Este trabajo se publicó por primera vez [3] en POPL 1994 y en 2005 obtuvo el premio al papel más influyente de la Asociación de Maquinaria de Computación (ACM) POPL 1994.