A purely functional implementation of ROBDDs in Haskell

Jan Christiansen, Frank Huch. A purely functional implementation of ROBDDs in Haskell. In Henrik Nilsson, editor, Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006. Volume 7 of Trends in Functional Programming, pages 55-71, Intellect, 2006.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.