¿Cuáles son algunos documentos notables en la investigación de lenguajes de programación?

META II . UN COMPILADOR ORIENTADO A LA SINTAXIS ESCRIBIENDO LENGUAJE por DV Schorre

Esta joya de papel de 1963 le enseñará cómo construir, desde cero, 2 compiladores (uno de ellos es un compilador-compilador) en diez páginas .

Uno de los compiladores es un metacompilador, que puede recompilarse para que sea fácil de mejorar. El otro compilador es un pequeño Algol, que implementas usando el metacompilador, y es fácil de hacer.

De hecho, puede implementar el metacompilador en uno o dos días a partir de los detalles proporcionados; en el medio del proceso, de repente comprenderás cómo el metacompilador puede compilarse con éxito, y eso es una especie de evento alucinante.

Aprendí mi primer compilador de esta manera, y siempre he mirado este papel con gran cariño.

Si no lee ningún otro documento este año, debería leer este.

Los siguientes 700 lenguajes de programación de Landin han sido mucho más influyentes de lo que la mayoría de la gente cree, incluidos muchos que lo leyeron (incluido yo mismo: no me di cuenta de su importancia hasta que leí La concepción, evolución y aplicación de los lenguajes de programación funcional de Hudak).

Pero mi voto va a los esquemas de tipo Principal de Damas + Milner para programas funcionales que es muy corto (7 páginas, de las cuales 2 se usan para la introducción y la bibliografía y la mitad está totalmente en blanco. Resulta que la parte muy importante, el algoritmo W, ¡básicamente solo una página!)

Grandes trabajos en lenguajes de programación. Recogido por Benjamin C. Pierce.
Papeles clásicos en lenguajes de programación y lógica de Karl Crary
Lo mejor de PLDI. Otras conferencias de PL también parecen ser la mejor lista de trabajos.

Mi voto es probablemente por el artículo seminal de Plotkin aquí: Página sobre Ed

O cualquiera de los documentos de Lambda.