HoTTSQL

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