
Functional Algorithm Design, Part 1
Calculating a greedy algorithm for an optimization problem, functionally.
Calculating a greedy algorithm for an optimization problem, functionally.
Why reason *about* algorithms, when you can reason *with* them?
Todd Millstein is joining PL Perspectives as co-Editor.