31 citations · 76 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020★ 5 cited
Strongly-Normalizing Higher-Order Relational Queries
Wilmer Ricciotti, James Cheney
Language-integrated query is a powerful programming construct allowing database queries and ordinary program code to interoperate seamlessly and safely. Language-integrated query t…
cs.LO2020
A Formalization of SQL with Nulls
Wilmer Ricciotti, James Cheney
SQL is the world's most popular declarative language, forming the basis of the multi-billion-dollar database industry. Although SQL has been standardized, the full standard is base…