Abstract Interpretation in the Toy Optimizer(bernsteinbear.com)33 points by ChadNauseam 10 months ago | 6 comments
Abstract Interpretation in the Toy Optimizer(bernsteinbear.com)39 points by thunderbong 2 years ago | 15 comments
Representing Type Lattices Compactly(bernsteinbear.com)75 points by tekknolagi 1 year ago | 21 comments