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.

Authors

Jan Christiansen

Identified as Jan Christiansen

Frank Huch

This author has not been identified. It may be one of the following persons: Look up 'Frank Huch' in Google