Haskell中ROBDD的纯功能实现

简·克里斯蒂安森,弗兰克·赫赫.Haskell中ROBDD的纯功能实现.亨利克·尼尔森,编辑器,2006年4月19日至21日在英国诺丁汉举行的2006年TFP第七届函数式程序设计趋势研讨会的修订论文集.第7卷,共页函数式编程趋势,页55-71、智能、,2006

摘要

缺少摘要。