Go back
Bookmarks categorized by tags
cs/pl-theory.
What’s in an e-graph? | Max Bernstein
Programming languages resources | Max Bernstein
bytecode interpreters for tiny computers ⁑ Dercuano
An Incremental Approach to Compiler Construction
Classic Papers in Programming Languages and Logic
Terms, types, and functions