книги по теории языков программирования
От: Mirrorer  
Дата: 24.02.09 15:31
Оценка: 83 (10)
Свалился сабж из рассылки LtU@Kiev

Туточки

Все в свободном доступе.
Вроде неплохая подборка.
Еще бы время чтобы все это осилить...

Reference texts

Harold Abelson and Gerald Jay Sussman with Julie Sussman. Structure and Interpretation of Computer Programs.

Hassan Ait-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction.

Andrea Asperti and Giussepe Longo. Categories, Types and Structures. An introduction to Category Theory for the working computer scientist.

Henk Barendregt. Lambda Calculi with Types.

Michael Barr and Charles Wells. Toposes, Triples and Theories.

Stanley N. Burris and H.P. Sankappanavar. A Course in Universal Algebra.

Hubert Comon, et al. Tree Automata Techniques and Applications.

Reinhard Diestel. Graph Theory.

Raphael Finkel. Advanced Programming Language Design.

Dick Grune and Ceriel J.H. Jacobs. Parsing Techniques — A Practical Guide.

Robert Harper. Programming Languages: Theory and Practice. (Draft)

Matthew Hennessy. Semantics of Programming Languages.

N.D. Jones, C.K. Gomard and P. Sestoft. Partial Evaluation and Automatic Program Generation.

Carroll Morgan. Programming from Specifications.

Susumu Hayashi and Hiroshi Nakano. PX: A Computational Logic.

Hanne Riis Nielson and Flemming Nielson. Semantics With Applications: A Formal Introduction.

Bengt Nordstrom and Kent Petersson and Jan M. Smith. Programming in Martin-Lof's Type Theory: An Introduction.

Simon Peyton Jones and David R. Lester. Implementing functional languages: a tutorial.

Rinus Plasmeijer and Marko van Eekelen. Functional Programming and Parallel Graph Rewriting.

Scott F. Smith. Programming Languages.

Paul Taylor. Practical Foundations of Mathematics.

Simon Thompson. Type Theory and Functional Programming.

Notes and tutorials

Luca Cardelli and Peter Wegner. On understanding types, data abstraction and polymorphism.

Giuseppe Castagna. Subtyping and Object-oriented Programming.

Robert Constable. Typed Logic.

Jean H. Gallier. Constructive Logics. Part I: A Tutorial on Proof Systems and Typed lambda-Calculi.

--. Constructive Logics. Part II: Linear Logic and Proof Nets.

--. On the Correspondence between Proofs and lambda-Terms.

Mike Gordon. Introduction to Functional Programming.

--. Specification and Verification I.

--. Specification and Verification II.

John Harrison. Introduction to Functional Programming (1996/7).

Achim Jung and Samson Abramsky. Domain Theory.

Alexander Kurz. Coalgebras and Modal Logic.

Per Martin-Lof. On the Meanings of the Logical Constants and the Justifications of the Logical Laws.

Bengt Nordstrom, Kent Petersson and Jan M. Smith. Martin-Lof's Type Theory.

Lawrence C. Paulson. Foundations of Functional Programming.

Frank Pfenning. Automated Theorem Proving.

--. Computation and Deduction.

Wesley Phoa. An introduction to fibrations, topos theory, the effective topos and modest sets.

Andrew M. Pitts. Lecture Notes on Types.

--. Operational Semantics and Program Equivalence.

--. Categorical Logic.

Gordon Plotkin. Pisa Notes (on Domain Theory).

Giuseppe Rosolini. Sheaves.

Helmut Schwichtenberg. Proof Theory.

Morten Heine B. Sorenson and Pawel Urzyczyn. Lectures on the Curry-Howard Isomorphism.

Thomas Streicher. Fibred Categories.

Other texts

Texts in this section are interesting, though not directly related to programming language theory.

G.J. Chaitin. The Unknowable.

Philip J. Koopman, Jr. Stack Computers: the new wave.

 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.