Structuring Depth-First Search Algorithms in Haskell.

David J. King, John Launchbury

Browse the full POPL paper archive.