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