rntz/datafun

Research on integrating datalog & lambda calculus via monotonicity types

语言：TeX · GitHub 星标：420 · Fork：17

话题：compiler · datalog · monotonicity · programming-language · query · semilattices · type-theory

在 GitHub 上查看原仓库