4 ms·HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (2016)1 points by robertothais 9y ago