Programming Language Principles and Paradigms

0.4

Foundations

Introduction
Basic Python
Basic Elements
Names and Environments
Control Flow
Memory Management
Grammars

Functional Programming

Introduction to Scheme
Functions
Recursion
Higher-Order Functions
Lambda Functions
- Scheme
- Python
- Java
- C++
- Common Patterns
Continuations
- Restricted Continuations
- First-Class Continuations

Theory

Lambda Calculus
Operational Semantics
Formal Type Systems

Data Abstraction

Functional Data Abstraction
Object-Oriented Programming
Inheritance and Polymorphism
Static Analysis
- Types
- Control-Flow Analysis
Dynamic Typing
Generics
Modules and Namespaces

Declarative Programming

Logic Programming
Constraints and Dependencies
- Constraint Logic Programming
  - Search
  - Examples
- Make
Pattern Matching

Metaprogramming

Macros and Code Generation
Template Metaprogramming
Example: Multidimensional Arrays
- Points
- Domains
- Arrays
- Stencil
- Nested Iteration

Concurrent Programming

Parallel Computing
Asynchronous Tasks
- Limiting the Number of Tasks
- Launch Policy

Programming Language Principles and Paradigms

Index

Index

© Copyright 2016, Amir Kamil, licensed under the Creative Commons Attribution-ShareAlike 4.0 International license.

Built with Sphinx using a theme provided by Read the Docs.