Cited in
(14)- RedPRL
- Kleisli
- gMark
- OEuf
- Q*cert
- Links
- SEQUEL
- SQLCert
- Propositional and predicate logics of incomplete information
- Certified Graph View Maintenance with Regular Datalog
- A formalization of SQL with nulls
- Cubical Agda: a dependently typed programming language with univalence and higher inductive types
- A Coq formalisation of SQL's execution engines
- Strongly-Normalizing Higher-Order Relational Queries
This page was built for software: HoTTSQL