Introduction to Programming Lectures Notes

Principles of Programming Languages by David Liu

This PDF covers the following topics related to Programming Languages Theory : Prelude: The Study of Programming Languages, Functional Programming: Theory and Practice, Macros, Objects, and Backtracking, Type systems, In Which We Say Goodbye.

Author(s): David Liu, University of Toronto

152 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

Programming Languages Application and Interpretation

This note covers the following topics: Parsing, Interpretation, Adding Functions to the Language, From Substitution to Environments, Functions, Mutation: Structures and Variables, Recursion and Cycles: Procedures and Data, Objects, Memory Management, Representation Decisions, Desugaring as a Language Feature, Control Operations, Checking Program Invariants Statically: Types, Checking Program Invariants Dynamically: Contracts, Alternate Application Semantics.

Author(s): Shriram Krishnamurthi

207 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

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

Dictionary of Programming Languages

The Dictionary of Programming Languages is a compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.

Author(s): Neal Ziring

NA Pages