Uno podría argumentar que los primeros documentos sobre el cálculo lambda deberían mencionarse aquí, pero son anteriores a la programación funcional por varios años.
Mis candidatos son
- John McCarthy: Funciones recursivas de las expresiones simbólicas y su cálculo por máquina, de 1960, en el que McCarthy describe la teoría y la implementación de LISP, el primer lenguaje de programación funcional.
- Peter Landin: Los siguientes 700 lenguajes de programación, desde 1966. Según Landin, los siguientes 700 lenguajes de programación se basan en lenguajes de programación que tienen un lenguaje de programación funcional como lenguaje central. El lenguaje ISWIM es una fuente principal de inspiración detrás del trabajo en ML. También introduce la “regla de fuera de juego” utilizada por Haskell (y Python).
- La conferencia del Premio Turing de 1977 por John Backus: ¿Se puede liberar la programación del estilo de Von Neumann? en el que Backus (uno de los creadores de Fortran y ALGOL60) plantea la idea de que uno debe basar un lenguaje de programación en un conjunto de combinadores funcionales.
- El artículo seminal sobre inferencia de tipos polimórficos por Robin Milner: Una teoría del polimorfismo de tipos en programación de 1978 en el que Milner propone la noción de polimorfismo paramétrico y el algoritmo de inferencia de tipos subyacente a los sistemas de tipos polimórficos de lenguajes funcionales fuertemente tipados como Haskell y ML familia.
- ¿En qué problemas están trabajando actualmente los investigadores?
- ¿Cuáles son los tipos correctos de aplicaciones móviles?
- ¿Cuáles son los trabajos de investigación que un graduado de CS debería haber leído antes de seguir una carrera como desarrollador de software?
- ¿Qué puedes hacer en la escuela de posgrado para aumentar tus posibilidades de conseguir un trabajo académico, además de hacer una buena investigación?
- ¿Qué debo especializar en sistemas inteligentes o computación en la nube?
