datafun:通过单调类型集成datalog和lambda演算的研究 源码

档案 paper/ :ICFP 2016论文。 src/ :在Racket中实现Datafun。 src/repl.rkt最有用。 接下来是对Datafun类型理论的非常过时的描述。 有关最新信息,请参见。 或者,您可以克隆存储库并在paper/目录中运行make来生成datafun.pdf 。 数据娱乐 poset types A,B ::= bool | nat | A × B | A → B | A →+ B | Set A | A + B lattice types L,M ::= bool | nat | L × M | A → L | A →+ L | Set A