PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.

Functional Algorithm Design, Part 1

Functional Algorithm Design, Part 1

by Jeremy Gibbons on Nov 25, 2020 | Tags: algorithms, functional programming, mathematical proof, optimization

Calculating a greedy algorithm for an optimization problem, functionally.

Functional Algorithm Design, Part 0

Functional Algorithm Design, Part 0

by Jeremy Gibbons on Nov 17, 2020 | Tags: algorithms, functional programming

Why reason *about* algorithms, when you can reason *with* them?

Welcoming Todd Millstein as co-Editor

Welcoming Todd Millstein as co-Editor

by Michael Hicks on Nov 12, 2020 |

Todd Millstein is joining PL Perspectives as co-Editor.