swMATH27484MaRDI QIDQ39200FDOQ39200
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1607.04822
Cited In (14)
- A formalization of SQL with nulls
- A Coq formalisation of SQL's execution engines
- RedPRL
- Kleisli
- gMark
- OEuf
- Q*cert
- Links
- SEQUEL
- SQLCert
- Strongly-Normalizing Higher-Order Relational Queries
- Propositional and predicate logics of incomplete information
- Cubical Agda: a dependently typed programming language with univalence and higher inductive types
- Certified Graph View Maintenance with Regular Datalog
This page was built for software: HoTTSQL
