Basics of Programming Languages [PDF/DjVu, ENG/RUS] torrent

Книги и журналы » Коллекции книг и библиотеки

Основания языков программирования [PDF/DjVu, ENG/RUS]

Описание: Подборка книг по центральным вопросам оснований языков программирования, в частности, по теории типов, формальным семантикам, функциональному программированию и лямбда-исчислению.

Cardelli, Wagner. On Understanding Types, Data Abstraction, and Polymorphism, 1985.pdf
Friedman et al. Essentials of Programming Languages.pdf
Harper. Practical Foundations for Programming Languages, draft, 2008 .pdf
Krishnamurthi. Programming Languages_ Application and Interpretation, 2003.pdf
Macmillan. Functional and Logic Programming Languages, HPL, Vol IV, 1998.chm
Masterminds of Programming, 2009, O'Reilly.pdf
Mitchell. Concepts in programming languages (CUP, 2003).chm
Mitchell. Foundations for programming languages, 1996 (MIT).pdf
Pierce. Foundational Calculi for PLs.ps
Scott M. Programming Language Pragmatics, 2ed, 2006.pdf
Sebesta. Concepts of Programming Languages, 5ed, 2001 (AW).pdf
Turner. Computable Models, 2009 (Springer).pdf

./FunProg:
Fokke. Functional Programming, 1995.pdf
Gordon. Introduction to functional programming, 1996.pdf
Harrison. Introduction to Functional Programming
Hudak. Conception, Evolution, and Application of Functional Programming Languages, 1989.djvu
Hughes. Why functional programming matters.pdf
Hutton. A tutorial on the universality and expressiveness of fold.pdf
Jones S.P., The Implementation of Functional Programming Languages, 1987.djvu
Meijer. Calculating Compilers. PhD thesis, 1992.pdf
Okasaki. Purely Functional Data Structures.djvu
Paulson. Foundations of functional programming.pdf
Thompson. Type theory and functional programming, 1999.pdf
Trends in Functional Programming, vol.5, 2006.pdf
Trends in Functional Programming, vol.7, 2007.pdf
Филд, Харрисон. Функциональное программирование, 1993 (1988).djvu
Хендерсон. ФП.djvu

./FunProg/Harrison. Introduction to Functional Programming:
lectures(en).ps
lectures(ru).pdf
slides-pdf-ru
./FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/

./LambdaCalculus:
Curry. Combinatory logic, 1958.djvu
Hindley, Seldin. Lambda-calculus and Combinators.pdf
Honsell, Plotkin. On the completeness of order-theoretic models of the lambda-calculus.pdf
Kluge. Abstract.Computing.Machines. The.Lambda.Calculus.Perspective (Springer, 2005).pdf
Lambda Calculus (a lecture).ps
Selinger. Lecture Notes on the Lambda Calculus.pdf
Вольфенгаген. Комбинаторная логика в программировании, 1993.PS

./LambdaCalculus/Barendregt:
Barendregt. Introduction to Lambda Calculus 94.pdf
Barendregt. Lambda Calculi with Types.ps
Barendregt. Open problems in Lambda Calculus.pdf
Barendregt. The Impact of Lambda Calculus.ps
Barendregt. Types in Lambda Calculi and Programming Languages.pdf
Барендрегт. Лямбда-исчисление. Его синтаксис и семантика.pdf

./Semantics:
Dybjer. Category theory and programming language semantics_ An overview .pdf
Nielson H. R., Nielson F. semantics-with-applications-an-appetizer-(UTCS).pdf
Nielson, Nielson. Semantics with Applications - A Formal Introduction, 1999, Wiley.pdf
Pitts. Semantics of PLs.ps
Shmidt. Denotational Semantics.pdf
Slonneger, Kurtz. Formal Syntax and Semantics of Programming Languages_ A Laboratory Based Approach, 1995.pdf
Tennent. Semantics of programming languages (PH), 1991.djvu
Ильичева. Формальное описание семантики языков программирования.pdf

./Type Theory:
Constable. Type Theory as a Foundation for Computer Science.pdf
Constructive Type Theory.pdf
Gunter. The Semantics of Types in Programming Languages.pdf
Harper. Type Systems for Programming Languages.pdf
Hui et al. Type system in programming languages.pdf
Kamareddine Laan Nederpelt - A Modern Perspective on Type Theory.pdf
Nordstrom et al. Programming in Martin-Lof's Type Theory, 1989.pdf
Odersky et al. Theory of Objects with Dependent Types.pdf
Pierce ed. Advanced Topics in Types and Programming Languages, 2005 (MIT Press).pdf
Pierce. Types and Programming Languages, 2002 (MIT Press).chm
Thompson. Type Theory and Functional Programming, 1999.pdf
tng-lics2003-slides.pdf
Пирс. Типы в языках программирования.pdf