research
∙
07/23/2021
Comprehending nulls
The Nested Relational Calculus (NRC) has been an influential high-level ...
share
research
∙
01/11/2021
Query Lifting: Language-integrated query for heterogeneous nested collections
Language-integrated query based on comprehension syntax is a powerful te...
research
∙
11/26/2020
Strongly-Normalizing Higher-Order Relational Queries
Language-integrated query is a powerful programming construct allowing d...
research
∙
03/25/2020
A Formalization of SQL with Nulls
SQL is the world's most popular declarative language, forming the basis ...
research
∙
05/06/2019
Mixing set and bag semantics
The conservativity theorem for nested relational calculus implies that q...
research
∙
08/01/2018
Explicit Auditing
The Calculus of Audited Units (CAU) is a typed lambda calculus resulting...
research
∙
05/22/2017
Imperative Functional Programs that Explain their Work
Program slicing provides explanations that illustrate how program output...
research
∙
02/22/2012