#ICFP2016 の Datafun: A Functional Datalog http://www.cs.bham.ac.uk/~krishnan/datafun.pdf の話を聞いて、不動点計算用の汎用ツールで色々解く話は前に何かで聞いたなぁと気になってのだけど、前に聞いたのは http://madhu.cs.illinois.edu/pldi09.pdf だった。 あまり似た話ではなかったが。