Mono Types - First-Class Containers for Datalog
No abstract available.
Related papers
- Object-Oriented Fixpoint Programming with Datalog OOPSLA 2024
- Fixpoints for the masses: programming with first-class Datalog constraints OOPSLA 2020
- Flix: A Design for Language-Integrated Datalog OOPSLA 2025
- Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints ECOOP 2023
- Type inference for datalog with complex type hierarchies POPL 2010
- Seminaïve evaluation for a higher-order functional language POPL 2020
- QL: Object-oriented Queries on Relational Data ECOOP 2016
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic TACAS 2022