Deconstructing Datalog
DatalogDatafunPhD dissertationtyped functional languagelogic programming.
Author: rntz
Date: 6/12/2026
Article Summary:
The author's PhD dissertation, Deconstructing Datalog, is released, detailing their work on integrating Datalog's features into a typed functional language called Datafun.