let rec weng = ~weng cv misc contact blog 博客


Programming Languages: Three Easy Pieces

Shiwei Weng, Johns Hopkins University

You know what I mean.

Intro Entity Rules (Logic) Engine (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]