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