Items
Details
Table of Contents
1: Foundations
Introduction
Syntax
Operational semantics
Denotational semantics
Fixed points
2: Dynamic semantics
FL: a functional language
Naming
State
Control
Data
3: Static semantics
Simple types
Polymorphism and higher-order types
Type reconstruction
Abstract types
Modules
Effects describe program behavior
4: Pragmatics
Compilation
Garbage collection.
Introduction
Syntax
Operational semantics
Denotational semantics
Fixed points
2: Dynamic semantics
FL: a functional language
Naming
State
Control
Data
3: Static semantics
Simple types
Polymorphism and higher-order types
Type reconstruction
Abstract types
Modules
Effects describe program behavior
4: Pragmatics
Compilation
Garbage collection.