Основания языков программирования [PDF/DjVu, ENG/RUS] аннотация к книге (журналу)

Читать онлайн отзывы бесплатно, без регистрации

Название: Основания языков программирования [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


Если Вы знакомы с этой книгой(журналом), отставьте отзыв:

Добавить комментарий:

Ваше имя:


Отзыв:


Аннотации к похожим книгам (журналам):

  1. Linux(Unix) Complete Books++
  2. Анурьев В.И., Дытнерский Ю.И., Лащинский А.А - Сборник справочников для проектирования в нефтехимической отрасли [2008, DjVu]
  3. Media Group - Словари Даля Брокгауза Эфрона Ожегова Шведовой сексологический и др [2000]
  4. Студенты МГТУ им.Баумана - Сборник курсовых проектов по курсу "Детали машин" (редукторы) [2007]
  5. Андрей Левин - Всё по самосовершенствованию и закону притяжения [2009]
  6. Много авторов - Сборник книг по расчёту оболочек и металлических конструкций (44 книги) [DjVu]
  7. разные - (Библиотеки) Коллекция литературы по архитектуре и строительству [doc, DjVu/PDF] [2009, DjVu]

Наш портал предлагает Вам ознакомиться с описанием Основания языков программирования [PDF/DjVu, ENG/RUS]. Всего просмотров данной статьи: 532. Вы также можете найти у нас аннотации к электронным книгам (также аудиокнигам) этого же автора. Мы не сомневаемся, что мы поможем Вам выбрать, что почитать на досуге, также выбрать учебные материалы. Всю информацию Вы можете читать бесплатно, без регистрации и онлайн. Мы надеемся, что Вы не пожалеете о том, что зашли на наш портал.

Случайные аннотации:

  1. Мастерская - М. А. Изотова - Гончарные работы для дома и заработка [2008, DjVu, RUS]
  2. Gauthier Jean-Philippe Жан-Филлип Гаутер - Une pile d'idees - Cartonnage et assemblage [2006, JPG, FRA]
  3. Folk Ken / Кен Фолк - Folk Toys Patterns & Projects FOR Scroll Saw / Образцы народных игрушек & Модели для выпиливания [1998, PDF, ENG]
  4. Буббико Д., Х. Крус - Керамика. Техники, материалы, изделия [2006, DjVu, RUS]
  5. Терри Тейлор - Узоры для пасхальных яиц [2005, PDF/JPEG]