Теорія мов програмування: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Створено шляхом перекладу сторінки «Programming language theory» |
|||
Рядок 77:
== Посилання ==
{{Reflist}}
== Зовнішні посилання ==
* [http://lambda-the-ultimate.org/policies#Purpose Lambda the Ultimate], a community weblog for professional discussion and repository of documents on programming language theory.
* [http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml Great Works in Programming Languages]. Collected by Benjamin C. Pierce ([[Пенсильванський університет|University of Pennsylvania]]).
* [http://www.cs.cmu.edu/~crary/819-f09/ Classic Papers in Programming Languages and Logic]. Collected by Karl Crary ([[Університет Карнегі-Меллон|Carnegie Mellon University]]).
* [http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-research.html Programming Language Research]. Directory by Mark Leone.
* [http://www.cs.uu.nl/wiki/Techno/ProgrammingLanguageTheoryTextsOnline Programming Language Theory Texts Online]. At [[Утрехтський університет|Utrecht University]].
* [http://turing100.acm.org/lambda_calculus_timeline.pdf λ-Calculus: Then & Now] by [[Дана Скотт|Dana S. Scott]] for the ACM Turing Centenary Celebration
* [http://plgrand.blogspot.com/ Grand Challenges in Programming Languages]. Panel session at POPL 2009.
| |||