Ideas & society2016 · shared on Hacker News
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Explore HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Ytacon ·
US Army applying new areas of math
206 points138 comments
Yluu ·
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
22 points1 comments
Ykachnuv_ocasek ·
HoTTSQL – Formally proving SQL query rewrite rules correct
1 points0 comments
Ympweiher ·
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
1 points0 comments
Yrobertothais ·
HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (2016)
1 points0 comments