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 
Notes on Programming Language Concepts
This note covers programming languages and programming paradigms, OCaml operational Semantics: an overview, Names, Bindings and environment, A static analysis primer, Stack machines, Functions everywhere, Static scope and dynamic scope.
Author(s): NA
43 Pages
Programming Languages Theory and Practice
This note explains the following topics: Transition Systems, Defining a Language, A Functional Language, Control and Data Flow, Imperative Functional Programming, Cost Semantics and Parallelism, Data Structures and Abstraction, Lazy Evaluation, Dynamic Typing, Subtyping and Inheritance, Storage Management.
Author(s): Robert Harper
277 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
