Text this: Abstractions, Their Algorithms, and Their Compilers.