talk · community record
Automatic composition of fast data struc...
Programmers often have trouble finding fast data structures to support a given API. I describe a system I'm writing to automatically compose data structures to efficiently support a given API. The system is built out of some modified graph algorithms and ideas from programming language theory.