most citedA Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions

1 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing cs.DSShow all

1 paper · 1 filter

cs.DS2008

Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell

Paul Tarau

We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact co…