PLs Concepts | 0CC946156A29A8F415D016A433542FB6C90D222D

PLs Concepts

Name	PLs Concepts	DOWNLOAD Copy Link Trouble downloading? see How To
Total Size	314.1 MB
Total Files	77
Hash	0CC946156A29A8F415D016A433542FB6C90D222D

/.../slides-pdf-ru/
l11.pdf	335.0 KB
l6.pdf	303.1 KB
l8.pdf	296.2 KB
l12.pdf	289.8 KB
l10.pdf	286.4 KB
l1.pdf	282.5 KB
l9.pdf	268.4 KB
l7.pdf	266.6 KB
l5.pdf	266.5 KB
l3.pdf	253.6 KB
l4.pdf	235.8 KB
l2.pdf	226.2 KB
/.../Harrison. Introduction to Functional Programming/
lectures(en).ps	1.5 MB
lectures(ru).pdf	1.4 MB
/FunProg/
Jones S.P., The Implementation of Functional Programming Languages, 1987.djvu	6.4 MB
Хендерсон. ФП.djvu	6.0 MB
Филд, Харрисон. Функциональное программирование, 1993 (1988).djvu	5.8 MB
Okasaki. Purely Functional Data Structures.djvu	3.6 MB
Thompson. Type theory and functional programming, 1999.pdf	1.7 MB
Trends in Functional Programming, vol.7, 2007.pdf	1.7 MB
Trends in Functional Programming, vol.5, 2006.pdf	1.3 MB
Hudak. Conception, Evolution, and Application of Functional Programming Languages, 1989.djvu	748.0 KB
Fokke. Functional Programming, 1995.pdf	736.4 KB
Meijer. Calculating Compilers. PhD thesis, 1992.pdf	721.6 KB
Gordon. Introduction to functional programming, 1996.pdf	692.7 KB
Paulson. Foundations of functional programming.pdf	262.8 KB
Hutton. A tutorial on the universality and expressiveness of fold.pdf	166.3 KB
Hughes. Why functional programming matters.pdf	165.9 KB
desc.txt~	1.8 KB
desc.txt	1.8 KB
/LambdaCalculus/Barendregt/
Барендрегт. Лямбда-исчисление. Его синтаксис и семантика.pdf	16.7 MB
Barendregt. Types in Lambda Calculi and Programming Languages.pdf	1.4 MB
Barendregt. Lambda Calculi with Types.ps	975.0 KB
Barendregt. Introduction to Lambda Calculus 94.pdf	591.8 KB
Barendregt. The Impact of Lambda Calculus.ps	356.7 KB
Barendregt. Open problems in Lambda Calculus.pdf	120.4 KB
/LambdaCalculus/
Kluge. Abstract.Computing.Machines. The.Lambda.Calculus.Perspective (Springer, 2005).pdf	4.1 MB
Curry. Combinatory logic, 1958.djvu	3.1 MB
Вольфенгаген. Комбинаторная логика в программировании, 1993.PS	2.2 MB
Hindley, Seldin. Lambda-calculus and Combinators.pdf	2.2 MB
Selinger. Lecture Notes on the Lambda Calculus.pdf	425.8 KB
Honsell, Plotkin. On the completeness of order-theoretic models of the lambda-calculus.pdf	187.8 KB
Lambda Calculus (a lecture).ps	64.5 KB
/Semantics/
Tennent. Semantics of programming languages (PH), 1991.djvu	3.7 MB
Nielson H. R., Nielson F. semantics-with-applications-an-appetizer-(UTCS).pdf	2.4 MB
Ильичева. Формальное описание семантики языков программирования.pdf	2.4 MB
Slonneger, Kurtz. Formal Syntax and Semantics of Programming Languages_ A Laboratory Based Approach, 1995.pdf	1.8 MB
Nielson, Nielson. Semantics with Applications - A Formal Introduction, 1999, Wiley.pdf	1.2 MB
Shmidt. Denotational Semantics.pdf	1.2 MB
Dybjer. Category theory and programming language semantics_ An overview .pdf	1.1 MB
Pitts. Semantics of PLs.ps	578.1 KB
/Type Theory/
Kamareddine Laan Nederpelt - A Modern Perspective on Type Theory.pdf	27.4 MB
Pierce ed. Advanced Topics in Types and Programming Languages, 2005 (MIT Press).pdf	9.5 MB
Pierce. Types and Programming Languages, 2002 (MIT Press).chm	4.4 MB
Constructive Type Theory.pdf	4.2 MB
Пирс. Типы в языках программирования.pdf	4.1 MB
tng-lics2003-slides.pdf	2.3 MB
Thompson. Type Theory and Functional Programming, 1999.pdf	1.3 MB
Constable. Type Theory as a Foundation for Computer Science.pdf	1.1 MB
Harper. Type Systems for Programming Languages.pdf	792.0 KB
Gunter. The Semantics of Types in Programming Languages.pdf	719.3 KB
Nordstrom et al. Programming in Martin-Lof's Type Theory, 1989.pdf	709.3 KB
Hui et al. Type system in programming languages.pdf	542.0 KB
Odersky et al. Theory of Objects with Dependent Types.pdf	383.7 KB
/
Sebesta. Concepts of Programming Languages, 5ed, 2001 (AW).pdf	136.8 MB
Scott M. Programming Language Pragmatics, 2ed, 2006.pdf	8.6 MB
Mitchell. Foundations for programming languages, 1996 (MIT).pdf	6.5 MB
Mitchell. Concepts in programming languages (CUP, 2003).chm	5.4 MB
Masterminds of Programming, 2009, O'Reilly.pdf	4.6 MB
Cardelli, Wagner. On Understanding Types, Data Abstraction, and Polymorphism, 1985.pdf	4.2 MB
Friedman et al. Essentials of Programming Languages.pdf	2.5 MB
Turner. Computable Models, 2009 (Springer).pdf	1.6 MB
Krishnamurthi. Programming Languages_ Application and Interpretation, 2003.pdf	1.4 MB
Harper. Practical Foundations for Programming Languages, draft, 2008 .pdf	1.3 MB
Macmillan. Functional and Logic Programming Languages, HPL, Vol IV, 1998.chm	674.7 KB
Pierce. Foundational Calculi for PLs.ps	247.5 KB
.directory	0.1 KB
Total files 77