PLs Concepts

BT种子名称

分享给好友

BT种子基本信息

种子哈希：0cc946156a29a8f415d016a433542fb6c90d222d
文档大小：314.1 MB
文档个数：77个文档
下载次数：6645次
下载速度：极快
收录时间：2020-02-15
最近下载：2024-09-28
DMCA/屏蔽：DMCA/屏蔽

下载磁力链接

magnet:?xt=urn:btih:0CC946156A29A8F415D016A433542FB6C90D222D
复制磁力链接到utorrent、Bitcomet、迅雷、115、百度网盘、PIKPAK等下载工具进行下载。

下载BT种子

磁力链接种子下载迅雷下载二维码含羞草 51品茶 91视频逼哩逼哩欲漫涩草榴社区抖阴破解版成人快手暗网禁区缅北禁地 TikTok成人版暗网解密

文档列表

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

==查看完整文档列表==

上一个：Mywife-1546 No.951 .mp41.6 GB
下一个：Вопрос науки 8.6 GB

种子标签

PLs Concepts

种子评价

优质的种子 (0) 假种子 (0) 有密码 (0) 低质量 (0) 有病毒 (0) 无法下载 (0)
欢迎对种子质量进行评价。

人气女优

北川ゆい Akira COCOLO Saiko あいだももあさのくるみあまいれもんいしかわ愛里いとうしいなうさみ恭香うちだまひろかぐやひめかとりこのみかないかほくすのき琴美クミコグレースくらもとまい（葉月ありさ）さとみ中村あみしいな純菜しのざきさとみ（三沢亜也）牧本千幸（つかもと友希）眞木ありさデヴィテラパトリックドミニカともさかまいともさか愛なごみもえひなこ

分享BT种子/磁力链接

亲，你知道吗？下载的人越多速度越快，赶快把本页面分享给好友一起下载吧^_^

2048BT