Pearls of Functional Algorithm Design

Pearls of Algorithm Engineering

Combinatorics and Complexity of Partition Functions: 30 (Algorithms and Combinatorics, 30)

The Algorithmic Conscience: Ethics is just a variable. Betrayal is a function.

Functional Data Structures and Algorithms: A Proof Assistant Approach