1. Revistas y publicaciones específicas sobre PLT[editar · editar código]
Entre las revistas que publican investigación sobre la teoría de lenguajes de programación están:
ACM TransactionsonProgrammingLanguages and Systems [2]
ComputerLanguages, Systems, and Structures [3]
Journal of FunctionalProgramming, The
Journal of Functional and LogicProgramming, The
Journal of SymbolicComputation, The
TheoreticalComputerScience
Una bibliografía más completa está disponible aquí; ver también la siguiente lista de publicaciones
sobre informática.
Véase también[editar · editar código]
Anexo:Cronología de los lenguajes de programación
Lambda theUltimate
Enlaces externos[editar · editar código]
TheHistory of Haskell
ComputerLanguagesHistory
Frank Atanassow's PLT Online
ProgrammingLanguageResearch
Types and ProgrammingLanguages byBenjamin Pierce (MIT Press 2002) [4]
ProgrammingLanguagePragmatics, 2nd Edition by Michael Scott (Morgan-Kaufmann, 2006) [5]
Essentials of ProgrammingLanguages by Daniel P. Friedman, Mitchell Wand, and Christopher
T. Haynes (MIT Press 2001) [6]