Beautiful Code, Beautiful Proof?

Maarten de Mol Marko C. J. D. van Eekelen

Published in: The Beauty of Functional Code (2013)

Keyphrases

source code
decision making
genetic algorithm
multimedia
three dimensional
optimal solution
special case
knowledge representation
error correcting