Principles of Programming Languages
This note covers the following topics: The Elements of Programming, Theoretical Introduction of Programming Languages: Syntax, Semantics, Types, Abstraction on Data, Delayed Evaluation on Data and on Control, Type Correctness, Evaluators for Functional Programming, Logic Programming, Imperative Programming.
Author(s): Mira Balaban
423 Pages 
Type Theory and Functional Programming
This PDF covers the following topics related to Programming Languages Theory : Introduction to Logic, Functional Programming and &
Author(s): Simon Thompson, Computing Laboratory, University of Kent
378 Pages
Principles of Programming Languages
This note covers the following topics: The Elements of Programming, Theoretical Introduction of Programming Languages: Syntax, Semantics, Types, Abstraction on Data, Delayed Evaluation on Data and on Control, Type Correctness, Evaluators for Functional Programming, Logic Programming, Imperative Programming.
Author(s): Mira Balaban
423 Pages
Introduction to Programming Lectures Notes
Objective of this note is to teach the fundamental principles of programming, making use of the typical aspects of the object-oriented, functional, and imperative programming paradigms. Such basic principles are presented by referring to the Java programming language.
Author(s): Prof. Diego Calvanese
NA Pages
Foundations of Programming for High Performance Computing
This course note is an introduction to high performance computing (HPC) on modern desktop computer architectures. The targeted audience is undergraduate students who are not engaged in a computer science program but who want to be exposed to the principles HPC (relevant to desktop computers) and take advantage of them in their field of study.
Author(s): Marc MORENO MAZA
NA Pages
