Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm.

Robert Giegerich, Peter Steffen

Browse the full MPC paper archive.