TorBT - Torrents and Magnet Links Search Engine
Latest Searches: fence%2f, anal submissive, mysterious girlfriend x, solitude%2f, hangman, aqui%20t%c3%a3o%20longe%202016%2f, minimal%2f, harmon%2f, tsurune, vasquez%2f

PLs Concepts

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