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.
@inproceedings{ChristiansenH06:0,
title = {A purely functional implementation of ROBDDs in Haskell},
author = {Jan Christiansen and Frank Huch},
year = {2006},
tags = {Haskell},
researchr = {https://researchr.org/publication/ChristiansenH06%3A0},
cites = {0},
citedby = {0},
pages = {55-71},
booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006},
editor = {Henrik Nilsson},
volume = {7},
series = {Trends in Functional Programming},
publisher = {Intellect},
isbn = {978-1-84150-188-8},
}