Robert Giegerich, Peter Steffen. Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm. In Eerke Boiten, Bernhard Möller, editors, Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings. Volume 2386 of Lecture Notes in Computer Science, pages 1-20, Springer, 2002. [doi]
Abstract is missing.