Jean-Christophe Filliátre;弗朗索瓦·波蒂埃 在功能上产生森林的所有理想。 （英语） Zbl 1110.68359号 J.功能。程序。 13，第5期，945-956（2003）. 摘要：我们介绍了Koda和Ruskey算法的功能实现，该算法用于将森林偏序集的所有理想生成为Gray代码。使用基于连续性的方法，我们给出了算法核心的极其简明的公式。然后，通过几个步骤，我们得到了一个一阶版本，其效率与Knuth给出的C实现相当。 引用于1文件 MSC公司： 68甲18 函数编程和lambda演算 68甲15 编程语言理论 关键词：格雷码 软件：Coq公司;OCaml公司;MLton公司 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Filliátre}和\textit{F.Pottier}，J.Funct。程序。13，编号：5945-956（2003年；兹bl 1110.68359） 全文： 内政部