Optimizing Layout of Recursive Datatypes with Marmoset

Seminar talk on Marmoset, a compiler that optimizes the memory layout of recursive algebraic datatypes based on how programs traverse them.