Functional Programming with Datalog
No abstract available.
DOI 10.4230/lipics.ecoop.2022.7
Related papers
- Datafun: a functional Datalog ICFP 2016
- Flix: A Design for Language-Integrated Datalog OOPSLA 2025
- Fixing Incremental Computation - Derivatives of Fixpoints, and the Recursive Semantics of Datalog ESOP 2019
- Seminaïve evaluation for a higher-order functional language POPL 2020
- Fixpoints for the masses: programming with first-class Datalog constraints OOPSLA 2020
- From Datalog to flix: a declarative language for fixed points on lattices PLDI 2016
- Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints ECOOP 2023
- Formulog: Datalog for SMT-based static analysis OOPSLA 2020