Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
Programming and Reasoning with Algebraic Effects and Dependent Types
Backtracking Iterators
Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design
