Principios para la selección de tipos en lenguajes de programación con tipos funcionales
por Robin Milner · 1978
Ver sugerenciasSinopsis
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.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.