Table of contents
Introduction to Programming Languages
Syntax
Grammars in Practice
- Logic Grammars
- Syntax Directed Interpretation
- Syntax Directed Translation
- Syntax Directed Type Checking
- A recipy for writing a reusable grammar
Execution Environments
Functional Programming in Haskell
Pattern Matching
Types
Typing Disciplines
- Dynamically vs Statically Typed Languages
- Nominal vs Structural Typing Equivalence
- Safe vs Unsafe Typing
- Type Inference vs Type Annotations
Polymorphism
The Lambda Calculus
High-Order Functions
Scope
Functional Data Structures
Memory Allocation
Imperative Programming in Python
Memory Management
Abstract Data Types
Object-Oriented Programming
Exceptions
Parameter Passing
Introduction to Logic Programming
Unification
Cost Models
Math in Prolog
Semantics
This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.