1 result found Sort:

rntz
datafun rntz
15
387
unknown
43
Research on integrating datalog & lambda calculus via monotonicity types
query datalog compiler type-theory monotonicity semilattices programming-language
Created 2015-11-20
2,216 commits to master branch, last one 2 years ago