Un sitio muy conocido sobre teoría de lenguajes de programación se llama Lambda the Ultimate ("Lambda el primordial"), en honor al trabajo de Sussman y Steele.