/datafun

Research on integrating datalog & lambda calculus via monotonicity types

Primary LanguageTeX

Watchers