Datalogi V - Programming Languages
by A. Filinski, R. Gluck, N. D. Jones
Publisher: Datalogisk Institut 2007
Number of pages: 240
This course concerns several dimensions of programming languages. We will emphasize 1. precise definitions of the effects of various programming language features; 2. the semantics and implementation of programming languages; 3. proofs concerning programs, e.g., equivalence of different semantics, correctness of an implementation, or correctness of type inference; and 4. semantics-based manipulation of programs by computer.
Download or read it online for free here:
by Joey Paquet, Serguei A. Mokhov - arXiv
Lecture notes for the Comparative Studies of Programming Languages course. These notes include a compiled book of primarily related articles from the Wikipedia, as well as Comparative Programming Languages book and other resources.
by Mike Grant, Zachary Palmer, Scott Smith
An introduction to the study of programming languages for juniors, seniors, and graduate students. The book treats topics from a foundational perspective, it focuses on core concepts in language design, not directly on applied languages.
by Peter Selinger - Dalhousie University
Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, etc.
by Muhammad Tanvir Afzal (ed.) - InTech
The book is a blend of a number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. Topics include: Background; Queries, Predicates, and Semantic Cache; Algorithms and Logic Programming; etc.