Go back
cs/pl-theory.
An Incremental Approach to Compiler Construction
Programming languages resources | Max Bernstein
Classic Papers in Programming Languages and Logic
Terms, types, and functions