GitHub repository: rntz/datafun
Primary language: TeX
Created: 2015-11-20T20:00:30Z
Description: Research on integrating datalog & lambda calculus via monotonicity types