rntz / datafunLinks

Research on integrating datalog & lambda calculus via monotonicity types
404Updated 3 years ago

Alternatives and similar repositories for datafun

Users that are interested in datafun are comparing it to the libraries listed below

Sorting: