资源详情

返回首页 | 相关搜索
PLs Concepts
大小 299.58 MB
文件数 77
Info Hash: 0CC946156A29A8F415D016A433542FB6C90D222D
收录时间 2026-02-13 08:53:26
更新时间 2026-02-13 08:53:26
文件列表 (77)
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l11.pdf
327.1 KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l6.pdf
295.97 KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l8.pdf
289.24 KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l12.pdf
283.02 KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l10.pdf
279.71 KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l1.pdf
275.89 KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l9.pdf
262.12 KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l7.pdf
260.32 KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l5.pdf
260.22 KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l3.pdf
247.65 KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l4.pdf
230.28 KB
FunProg/Harrison. Introduction to Functional Programming/slides-pdf-ru/l2.pdf
220.9 KB
FunProg/Harrison. Introduction to Functional Programming/lectures(en).ps
1.48 MB
FunProg/Harrison. Introduction to Functional Programming/lectures(ru).pdf
1.38 MB
FunProg/Jones S.P., The Implementation of Functional Programming Languages, 1987.djvu
6.12 MB
FunProg/Хендерсон. ФП.djvu
5.72 MB
FunProg/Филд, Харрисон. Функциональное программирование, 1993 (1988).djvu
5.56 MB
FunProg/Okasaki. Purely Functional Data Structures.djvu
3.47 MB
FunProg/Thompson. Type theory and functional programming, 1999.pdf
1.63 MB
FunProg/Trends in Functional Programming, vol.7, 2007.pdf
1.59 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.47 KB
FunProg/Fokke. Functional Programming, 1995.pdf
719.1 KB
FunProg/Meijer. Calculating Compilers. PhD thesis, 1992.pdf
704.65 KB
FunProg/Gordon. Introduction to functional programming, 1996.pdf
676.51 KB
FunProg/Paulson. Foundations of functional programming.pdf
256.69 KB
FunProg/Hutton. A tutorial on the universality and expressiveness of fold.pdf
162.36 KB
FunProg/Hughes. Why functional programming matters.pdf
161.99 KB
FunProg/desc.txt~
1.76 KB
FunProg/desc.txt
1.76 KB
LambdaCalculus/Barendregt/Барендрегт. Лямбда-исчисление. Его синтаксис и семантика.pdf
15.89 MB
LambdaCalculus/Barendregt/Barendregt. Types in Lambda Calculi and Programming Languages.pdf
1.34 MB
LambdaCalculus/Barendregt/Barendregt. Lambda Calculi with Types.ps
952.18 KB
LambdaCalculus/Barendregt/Barendregt. Introduction to Lambda Calculus 94.pdf
577.96 KB
LambdaCalculus/Barendregt/Barendregt. The Impact of Lambda Calculus.ps
348.35 KB
LambdaCalculus/Barendregt/Barendregt. Open problems in Lambda Calculus.pdf
117.53 KB
LambdaCalculus/Kluge. Abstract.Computing.Machines. The.Lambda.Calculus.Perspective (Springer, 2005).pdf
3.87 MB
LambdaCalculus/Curry. Combinatory logic, 1958.djvu
3 MB
LambdaCalculus/Вольфенгаген. Комбинаторная логика в программировании, 1993.PS
2.07 MB
LambdaCalculus/Hindley, Seldin. Lambda-calculus and Combinators.pdf
2.06 MB
LambdaCalculus/Selinger. Lecture Notes on the Lambda Calculus.pdf
415.78 KB
LambdaCalculus/Honsell, Plotkin. On the completeness of order-theoretic models of the lambda-calculus.pdf
183.37 KB
LambdaCalculus/Lambda Calculus (a lecture).ps
62.96 KB
Semantics/Tennent. Semantics of programming languages (PH), 1991.djvu
3.57 MB
Semantics/Nielson H. R., Nielson F. semantics-with-applications-an-appetizer-(UTCS).pdf
2.29 MB
Semantics/Ильичева. Формальное описание семантики языков программирования.pdf
2.27 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.16 MB
Semantics/Shmidt. Denotational Semantics.pdf
1.1 MB
Semantics/Dybjer. Category theory and programming language semantics_ An overview .pdf
1.01 MB
Semantics/Pitts. Semantics of PLs.ps
564.58 KB
Type Theory/Kamareddine Laan Nederpelt - A Modern Perspective on Type Theory.pdf
26.14 MB
Type Theory/Pierce ed. Advanced Topics in Types and Programming Languages, 2005 (MIT Press).pdf
9.07 MB
Type Theory/Pierce. Types and Programming Languages, 2002 (MIT Press).chm
4.2 MB
Type Theory/Constructive Type Theory.pdf
3.97 MB
Type Theory/Пирс. Типы в языках программирования.pdf
3.95 MB
Type Theory/tng-lics2003-slides.pdf
2.16 MB
Type Theory/Thompson. Type Theory and Functional Programming, 1999.pdf
1.22 MB
Type Theory/Constable. Type Theory as a Foundation for Computer Science.pdf
1.01 MB
Type Theory/Harper. Type Systems for Programming Languages.pdf
773.42 KB
Type Theory/Gunter. The Semantics of Types in Programming Languages.pdf
702.4 KB
Type Theory/Nordstrom et al. Programming in Martin-Lof's Type Theory, 1989.pdf
692.67 KB
Type Theory/Hui et al. Type system in programming languages.pdf
529.3 KB
Type Theory/Odersky et al. Theory of Objects with Dependent Types.pdf
374.72 KB
Sebesta. Concepts of Programming Languages, 5ed, 2001 (AW).pdf
130.45 MB
Scott M. Programming Language Pragmatics, 2ed, 2006.pdf
8.18 MB
Mitchell. Foundations for programming languages, 1996 (MIT).pdf
6.22 MB
Mitchell. Concepts in programming languages (CUP, 2003).chm
5.19 MB
Masterminds of Programming, 2009, O'Reilly.pdf
4.34 MB
Cardelli, Wagner. On Understanding Types, Data Abstraction, and Polymorphism, 1985.pdf
4 MB
Friedman et al. Essentials of Programming Languages.pdf
2.38 MB
Turner. Computable Models, 2009 (Springer).pdf
1.56 MB
Krishnamurthi. Programming Languages_ Application and Interpretation, 2003.pdf
1.32 MB
Harper. Practical Foundations for Programming Languages, draft, 2008 .pdf
1.23 MB
Macmillan. Functional and Logic Programming Languages, HPL, Vol IV, 1998.chm
658.84 KB
Pierce. Foundational Calculi for PLs.ps
241.68 KB
.directory
50 B
相关资源

免责声明

本网站仅提供DHT网络磁力资源索引服务，不存储任何资源文件。所有资源均来自DHT网络，本站无法控制其内容。请遵守当地法律法规，合理使用网络资源。如涉及版权问题，请联系 lulutang@protonmail.com。

© 2026 鹿鹿堂