Write a Blog >>

Not registered as user yet

Name: Dan Suciu

Affiliation: University of Washington

Contributions

PLDI 2017 HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile