Download Basics of Programming Languages [PDF/DjVu, ENG/RUS] Torrent

Torrent Contents Size: 299.58 MB

Basics of Programming Languages [PDF/DjVu, ENG/RUS]

▼ show more 62 files

.directory

DIRECTORY

50 B

Cardelli, Wagner. On Understanding Types, Data Abstraction, and Polymorphism, 1985.pdf

PDF

4 MB

Friedman et al. Essentials of Programming Languages.pdf

PDF

2.38 MB

FunProg

Fokke. Functional Programming, 1995.pdf

PDF

719.1 KB

Gordon. Introduction to functional programming, 1996.pdf

PDF

676.51 KB

Harrison. Introduction to Functional Programming

lectures(en).ps

1.48 MB

lectures(ru).pdf

PDF

1.38 MB

slides-pdf-ru

l1.pdf	PDF	275.89 KB
l10.pdf	PDF	279.71 KB
l11.pdf	PDF	327.1 KB
l12.pdf	PDF	283.02 KB
l2.pdf	PDF	220.9 KB
l3.pdf	PDF	247.65 KB
l4.pdf	PDF	230.28 KB
l5.pdf	PDF	260.22 KB
l6.pdf	PDF	295.97 KB
l7.pdf	PDF	260.32 KB
l8.pdf	PDF	289.24 KB
l9.pdf	PDF	262.12 KB

Hudak. Conception, Evolution, and Application of Functional Programming Languages, 1989.djvu

DJVU

730.47 KB

Hughes. Why functional programming matters.pdf

PDF

161.99 KB

Hutton. A tutorial on the universality and expressiveness of fold.pdf

PDF

162.36 KB

Jones S.P., The Implementation of Functional Programming Languages, 1987.djvu

DJVU

6.12 MB

Meijer. Calculating Compilers. PhD thesis, 1992.pdf

PDF

704.65 KB

Okasaki. Purely Functional Data Structures.djvu

DJVU

3.47 MB

Paulson. Foundations of functional programming.pdf

PDF

256.69 KB

Thompson. Type theory and functional programming, 1999.pdf

PDF

1.63 MB

Trends in Functional Programming, vol.5, 2006.pdf

PDF

1.2 MB

Trends in Functional Programming, vol.7, 2007.pdf

PDF

1.59 MB

desc.txt

TXT

1.76 KB

desc.txt~

TXT~

1.76 KB

Филд, Харрисон. Функциональное программирование, 1993 (1988).djvu

DJVU

5.56 MB

Хендерсон. ФП.djvu

DJVU

5.72 MB

Harper. Practical Foundations for Programming Languages, draft, 2008 .pdf

PDF

1.23 MB

Krishnamurthi. Programming Languages_ Application and Interpretation, 2003.pdf

PDF

1.32 MB

LambdaCalculus

Barendregt

Barendregt. Introduction to Lambda Calculus 94.pdf	PDF	577.96 KB
Barendregt. Lambda Calculi with Types.ps	PS	952.18 KB
Barendregt. Open problems in Lambda Calculus.pdf	PDF	117.53 KB
Barendregt. The Impact of Lambda Calculus.ps	PS	348.35 KB
Barendregt. Types in Lambda Calculi and Programming Languages.pdf	PDF	1.34 MB
Барендрегт. Лямбда-исчисление. Его синтаксис и семантика.pdf	PDF	15.89 MB

Curry. Combinatory logic, 1958.djvu

DJVU

3 MB

Hindley, Seldin. Lambda-calculus and Combinators.pdf

PDF

2.06 MB

Honsell, Plotkin. On the completeness of order-theoretic models of the lambda-calculus.pdf

PDF

183.37 KB

Kluge. Abstract.Computing.Machines. The.Lambda.Calculus.Perspective (Springer, 2005).pdf

PDF

3.87 MB

Lambda Calculus (a lecture).ps

62.96 KB

Selinger. Lecture Notes on the Lambda Calculus.pdf

PDF

415.78 KB

Вольфенгаген. Комбинаторная логика в программировании, 1993.PS

2.07 MB

Macmillan. Functional and Logic Programming Languages, HPL, Vol IV, 1998.chm

CHM

658.84 KB

Masterminds of Programming, 2009, O'Reilly.pdf

PDF

4.34 MB

Mitchell. Concepts in programming languages (CUP, 2003).chm

CHM

5.19 MB

Mitchell. Foundations for programming languages, 1996 (MIT).pdf

PDF

6.22 MB

Pierce. Foundational Calculi for PLs.ps

241.68 KB

Scott M. Programming Language Pragmatics, 2ed, 2006.pdf

PDF

8.18 MB

Sebesta. Concepts of Programming Languages, 5ed, 2001 (AW).pdf

PDF

130.45 MB

Semantics

Dybjer. Category theory and programming language semantics_ An overview .pdf	PDF	1.01 MB
Nielson H. R., Nielson F. semantics-with-applications-an-appetizer-(UTCS).pdf	PDF	2.29 MB
Nielson, Nielson. Semantics with Applications - A Formal Introduction, 1999, Wiley.pdf	PDF	1.16 MB
Pitts. Semantics of PLs.ps	PS	564.58 KB
Shmidt. Denotational Semantics.pdf	PDF	1.1 MB
Slonneger, Kurtz. Formal Syntax and Semantics of Programming Languages_ A Laboratory Based Approach, 1995.pdf	PDF	1.7 MB
Tennent. Semantics of programming languages (PH), 1991.djvu	DJVU	3.57 MB
Ильичева. Формальное описание семантики языков программирования.pdf	PDF	2.27 MB

Turner. Computable Models, 2009 (Springer).pdf

PDF

1.56 MB

Type Theory

Constable. Type Theory as a Foundation for Computer Science.pdf	PDF	1.01 MB
Constructive Type Theory.pdf	PDF	3.97 MB
Gunter. The Semantics of Types in Programming Languages.pdf	PDF	702.4 KB
Harper. Type Systems for Programming Languages.pdf	PDF	773.42 KB
Hui et al. Type system in programming languages.pdf	PDF	529.3 KB
Kamareddine Laan Nederpelt - A Modern Perspective on Type Theory.pdf	PDF	26.14 MB
Nordstrom et al. Programming in Martin-Lof's Type Theory, 1989.pdf	PDF	692.67 KB
Odersky et al. Theory of Objects with Dependent Types.pdf	PDF	374.72 KB
Pierce ed. Advanced Topics in Types and Programming Languages, 2005 (MIT Press).pdf	PDF	9.07 MB
Pierce. Types and Programming Languages, 2002 (MIT Press).chm	CHM	4.2 MB
Thompson. Type Theory and Functional Programming, 1999.pdf	PDF	1.22 MB
tng-lics2003-slides.pdf	PDF	2.16 MB
Пирс. Типы в языках программирования.pdf	PDF	3.95 MB

Description

Show full description

Related Torrents

TORRENT NAME	SIZE	FILES	AGE	SEED	LEECH	SOURCE
Basics of Computer Graphics Posted by freecoursewb in Books - Ebooks Posted in Books - Ebooks 30 40.2 MB 8 months ago freecoursewb	Size 40.2 MB	Files 3	Age 8 months ago	Seeds 30	Leechs 1	Source
Basics of Computer Graphics 2024 Posted by andryold1 in Books - Ebooks Posted in Books - Ebooks 29 40.25 MB 9 months ago andryold1	Size 40.25 MB	Files 1	Age 9 months ago	Seeds 29	Leechs 1	Source
Kim S. A Cup of Coffee and the Ocean. The Basics of Ocean Dynamics 2025 Posted by andryold1 in Books - Ebooks Posted in Books - Ebooks 21 71.97 MB 11 months ago andryold1	Size 71.97 MB	Files 1	Age 11 months ago	Seeds 21	Leechs 0	Source
Basics of Kidney Renal Disease, Fluid, Electrolyte and Acid Base Balance Posted by freecoursewb in Books - Ebooks Posted in Books - Ebooks 6 5 MB 11 months ago freecoursewb	Size 5 MB	Files 3	Age 11 months ago	Seeds 6	Leechs 0	Source
Baltz V. The Basics of Electron Transport in Spintronics. Textbook...2023 Posted by andryold1 in Books - Ebooks Posted in Books - Ebooks 7 10.88 MB 1 year ago andryold1	Size 10.88 MB	Files 1	Age 1 year ago	Seeds 7	Leechs 0	Source

Basics of Programming Languages [PDF/DjVu, ENG/RUS]

Torrent Contents Size: 299.58 MB

Description

Related Torrents

Location

Trackers

Latest News

Latest Searches

Sites In Our Index

Popular Tags

Tracker name
http://bt2.t-ru.org/ann?magnet
http://bt2.t-ru.org/ann
http://bt3.t-ru.org/ann
http://bt4.t-ru.org/ann
udp://tracker.opentrackr.org:1337
udp://open.stealth.si:80/announce
udp://tracker.torrent.eu.org:451/announce
udp://exodus.desync.com:6969
udp://open.demonii.com:1337/announce
udp://tracker.coppersurfer.tk:6969
udp://p4p.arenabg.com:1337
udp://tracker.internetwarriors.net:1337