PLs Concepts

收录时间:2018-03-21 04:48:32
文件大小:300MB
下载次数:190
最近下载:2020-11-24 15:57:15
磁力链接:
magnet:?xt=urn:btih:0cc946156a29a8f415d016a433542fb6c90d222d

立即下载 复制链接

文件列表

Sebesta. Concepts of Programming Languages, 5ed, 2001 (AW).pdf 130MB
Type Theory/Kamareddine Laan Nederpelt - A Modern Perspective on Type Theory.pdf 26MB
LambdaCalculus/Barendregt/Барендрегт. Лямбда-исчисление. Его синтаксис и семантика.pdf 16MB
Type Theory/Pierce ed. Advanced Topics in Types and Programming Languages, 2005 (MIT Press).pdf 9MB
Scott M. Programming Language Pragmatics, 2ed, 2006.pdf 8MB
Mitchell. Foundations for programming languages, 1996 (MIT).pdf 6MB
FunProg/Jones S.P., The Implementation of Functional Programming Languages, 1987.djvu 6MB
FunProg/Хендерсон. ФП.djvu 6MB
FunProg/Филд, Харрисон. Функциональное программирование, 1993 (1988).djvu 6MB
Mitchell. Concepts in programming languages (CUP, 2003).chm 5MB
Masterminds of Programming, 2009, O'Reilly.pdf 4MB
Type Theory/Pierce. Types and Programming Languages, 2002 (MIT Press).chm 4MB
Cardelli, Wagner. On Understanding Types, Data Abstraction, and Polymorphism, 1985.pdf 4MB
Type Theory/Constructive Type Theory.pdf 4MB
Type Theory/Пирс. Типы в языках программирования.pdf 4MB
LambdaCalculus/Kluge. Abstract.Computing.Machines. The.Lambda.Calculus.Perspective (Springer, 2005).pdf 4MB
Semantics/Tennent. Semantics of programming languages (PH), 1991.djvu 4MB
FunProg/Okasaki. Purely Functional Data Structures.djvu 3MB
LambdaCalculus/Curry. Combinatory logic, 1958.djvu 3MB
Friedman et al. Essentials of Programming Languages.pdf 2MB
Semantics/Nielson H. R., Nielson F. semantics-with-applications-an-appetizer-(UTCS).pdf 2MB
Semantics/Ильичева. Формальное описание семантики языков программирования.pdf 2MB
Type Theory/tng-lics2003-slides.pdf 2MB
LambdaCalculus/Вольфенгаген. Комбинаторная логика в программировании, 1993.PS 2MB
LambdaCalculus/Hindley, Seldin. Lambda-calculus and Combinators.pdf 2MB
Semantics/Slonneger, Kurtz. Formal Syntax and Semantics of Programming Languages_ A Laboratory Based Approach, 1995.pdf 2MB
FunProg/Thompson. Type theory and functional programming, 1999.pdf 2MB
FunProg/Trends in Functional Programming, vol.7, 2007.pdf 2MB
Turner. Computable Models, 2009 (Springer).pdf 2MB
FunProg/Harrison. Introduction to Functional Programming/lectures(en).ps 1MB
FunProg/Harrison. Introduction to Functional Programming/lectures(ru).pdf 1MB
LambdaCalculus/Barendregt/Barendregt. Types in Lambda Calculi and Programming Languages.pdf 1MB
Krishnamurthi. Programming Languages_ Application and Interpretation, 2003.pdf 1MB
Harper. Practical Foundations for Programming Languages, draft, 2008 .pdf 1MB
Type Theory/Thompson. Type Theory and Functional Programming, 1999.pdf 1MB
FunProg/Trends in Functional Programming, vol.5, 2006.pdf 1MB
Semantics/Nielson, Nielson. Semantics with Applications - A Formal Introduction, 1999, Wiley.pdf 1MB
Semantics/Shmidt. Denotational Semantics.pdf 1MB
Semantics/Dybjer. Category theory and programming language semantics_ An overview .pdf 1MB
Type Theory/Constable. Type Theory as a Foundation for Computer Science.pdf 1MB
LambdaCalculus/Barendregt/Barendregt. Lambda Calculi with Types.ps 952KB
Type Theory/Harper. Type Systems for Programming Languages.pdf 773KB
FunProg/Hudak. Conception, Evolution, and Application of Functional Programming Languages, 1989.djvu 730KB
FunProg/Fokke. Functional Programming, 1995.pdf 719KB
FunProg/Meijer. Calculating Compilers. PhD thesis, 1992.pdf 705KB
Type Theory/Gunter. The Semantics of Types in Programming Languages.pdf 702KB
Type Theory/Nordstrom et al. Programming in Martin-Lof's Type Theory, 1989.pdf 693KB
FunProg/Gordon. Introduction to functional programming, 1996.pdf 677KB
Macmillan. Functional and Logic Programming Languages, HPL, Vol IV, 1998.chm 659KB
LambdaCalculus/Barendregt/Barendregt. Introduction to Lambda Calculus 94.pdf 578KB
Semantics/Pitts. Semantics of PLs.ps 565KB
Type Theory/Hui et al. Type system in programming languages.pdf 529KB
LambdaCalculus/Selinger. Lecture Notes on the Lambda Calculus.pdf 416KB
Type Theory/Odersky et al. Theory of Objects with Dependent Types.pdf 375KB
LambdaCalculus/Barendregt/Barendregt. The Impact of Lambda Calculus.ps 348KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l11.pdf 327KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l6.pdf 296KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l8.pdf 289KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l12.pdf 283KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l10.pdf 280KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l1.pdf 276KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l9.pdf 262KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l7.pdf 260KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l5.pdf 260KB
FunProg/Paulson. Foundations of functional programming.pdf 257KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l3.pdf 248KB
Pierce. Foundational Calculi for PLs.ps 242KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l4.pdf 230KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l2.pdf 221KB
LambdaCalculus/Honsell, Plotkin. On the completeness of order-theoretic models of the lambda-calculus.pdf 183KB
FunProg/Hutton. A tutorial on the universality and expressiveness of fold.pdf 162KB
FunProg/Hughes. Why functional programming matters.pdf 162KB
LambdaCalculus/Barendregt/Barendregt. Open problems in Lambda Calculus.pdf 118KB
LambdaCalculus/Lambda Calculus (a lecture).ps 63KB
FunProg/desc.txt~ 2KB
FunProg/desc.txt 2KB
.directory 50B