Es un artículo seminal que describe el algoritmo Hindley-Milner, un método para inferir y verificar tipos en lenguajes de programación funcionales, como ML.
británico
Robin Milner fue un influyente informático británico conocido por sus contribuciones a la teoría de tipos y la programación funcional, así como por ser uno de los creadores del lenguaje de programación ML. Su trabajo ha tenido un impacto duradero en el desarrollo del software y la verificación formal de programas.
Es un artículo seminal que describe el algoritmo Hindley-Milner, un método para inferir y verificar tipos en lenguajes de programación funcionales, como ML.
Aparecen junto a Robin Milner en búsquedas del archivo