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
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
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
Programming Languages (S.F. Smith)PDF
This book is a much more appropriate book for a modern programming languages course than a traditional one based on paradigms. Topics covered includes: Parsing, Interpretation, Desugaring, Adding Functions to the Language, From Substitution to Environments, Functions Anywhere, 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 and Alternate Application Semantics.
Author(s): Shriram Krishnamurthi
207 Pages
Programming Languages Application and Interpretation
Currently this section contains no detailed description for the page, will update this page soon.
Author(s):
Pages
