A language and compiler for algebraic dynamic programming.