Cache and I/O efficent functional algorithms
Improving the cache locality of memory allocation