Versatile and declarative dynamic programming using pair algebras.

Versatile and declarative dynamic programming using pair algebras.