Algorithms and Data Structures

Pure functional, mutation-free, efficient double-linked lists

Eratosthenes and other number sieves

How to take a tail of a functional stream

Dynamic epistemic logic puzzles

Total stream processors and their applications to all infinite streams
 

Generic Zipper and its applications

LogicT - backtracking monad transformer with fair operations and pruning
The LogicT code includes solutions to the Missionaries and Cannibals problem, and playing Tic-Tac-Toe with minimax search and two heuristics

Treaps: An ordered dictionary data structure, based on randomized search trees

Proving complexity of one particular implementation of priority queues

Incremental, Linear Pretty-printing
 

Secure Counting of members of a subset without revealing their identities

Normal-order evaluation of lambda-terms as a bottom-up parsing

Provably perfect random shuffling and its pure functional implementations

Iterated zipping puzzles

Annotating trees post factum
 

Selecting a random node from a tree in one pass: from proof to code

Optimal justification of text with Dynamic Programming

Fast computation of Bernoulli numbers

Deriving fast functions to compute all subsets of size N

How to zip folds: A library of fold transformers (streams)
 

Representing knowledge about knowledge: ``Mr.S and Mr.P'' puzzle

Left fold vs. right fold: theory vs. practice

A neuron that learns how to play blackjack

Generating efficient median filters by an applicative-order term rewriting system

Accumulating tree traversals, a better tree fold with applications to XML parsing
 

Recursively enumerating binary arithmetic relations -- from addition to logarithm -- as conjunctions and disjunctions

Intersection testing of two segments of a circle or two georectangles, with a correctness proof

Arithmetic compression

Towards the best collection traversal interface: from enumerator to cursor

On parent pointers in trees
 

Printing the outline of a pruned tree

Efficient integer logarithm of large numbers in any base

Powers of three

Cross-product of sequences

Pure-functional transformations of cyclic graphs: viral flattening, the Credit Card Transform

Chess Tournament Scheduling

Generating interesting lambda-terms

Read full article from Algorithms and Data Structures