BiografíaHistoria de la informáticaPrincipiante
Robin Milner: ML, la prueba asistida y los lenguajes de la interacción
Descubre cómo Robin Milner conectó la prueba asistida, ML, la inferencia de tipos y los modelos de concurrencia para dar fundamentos rigurosos al software.
24 de agosto de 20266 minLeer