por Lex Spoon
Ver sugerenciasSinopsis
Disertación doctoral que propone un motor de inferencia de tipos basado en análisis de flujo de datos para Smalltalk, diseñado para programas grandes y editados interactivamente.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda
Lex Spoon
2005·divulgacion
Ambos trabajos abordan la inferencia de tipos, explorando su implementación en contextos complejos como lenguajes dinámicos y grandes bases de código.
Al igual que el de Spoon, esta tesis combina programación orientada a objetos con principios teóricos sobre la inferencia de tipos, buscando mejorar su aplicación práctica.
Cardelli profundiza en los sistemas de tipos, proporcionando teorías que respaldan la estructura conceptual que Spoon presenta en su investigación sobre Smalltalk.
Robin Milner
1978·divulgacion
La propuesta de Milner se basa en un algoritmo clave para la inferencia de tipos, un pilar que resuena con la investigación de Spoon en programación orientada a objetos.
La revisión de Cardelli y Wegner sobre tipado y polimorfismo refuerza los fundamentos teóricos que Spoon aplica al diseñar su motor de inferencia en programas grandes.
Richard S. Bird
1998·ensayo
Bird investiga cómo los programadores utilizan los sistemas de tipos como herramientas de razonamiento, alineándose con el enfoque práctico que Spoon adopta en su disertación.
