Hacker News new | ask | show | jobs
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (2016) (arxiv.org)
1 points by robertothais 3346 days ago