Programming Languages: Three Easy Pieces
Shiwei Weng, Johns Hopkins University
You know what I mean. certainty
| Intro | Entity | Rules (Logic) | Device (Computing) |
|---|---|---|---|
| Preface | [AST] | [Types] | [Type Checking] |
| [IR] | [Polymorphic] | [Algorithm W] | |
| [Lambda Calculus] | [Static Analysis] | ||
| [Simply Typed Lambda Calculus] | [Abstract Interpretation] | ||
| [Fixed point] | |||
| [Operational Semantics] | |||
| [Small-step Semantics] | [Small-step Semantics] | ||
| [Big-step Semantics] | [Big-step Semantics] | ||
| [Denotational Semantics] | [Constraint Solving] | ||
| [Equation Theory] |