Representing type lattices compactly (via surprisetalk) — discussion

#compilers #plt