Extending Functional Programming Towards Relations
Abstract elided by the publisher.
Related papers
- Collections, Cardinalities, and Relations VMCAI 2010
- Effectively Propositional Higher-Order Functional Programming OOPSLA 2026
- A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra CPP 2019
- Multi-stage Relational Programming PLDI 2025
- Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript ECOOP 2020
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- Seminaïve evaluation for a higher-order functional language POPL 2020
- The Activity of a Variable and Its Relation to Decision Trees TOPLAS 1980