Cited By
View all- Benedikt MPradic CWernhard CGeerts FNgo HSintos S(2023)Synthesizing Nested Relational Queries from Implicit SpecificationsProceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3584372.3588653(33-45)Online publication date: 18-Jun-2023
- Benedikt MPradic P(2021)Generating collection transformations from proofsProceedings of the ACM on Programming Languages10.1145/34342955:POPL(1-28)Online publication date: 4-Jan-2021
- Ricciotti WCheney J(2021)Query LiftingProgramming Languages and Systems10.1007/978-3-030-72019-3_21(579-606)Online publication date: 23-Mar-2021
- Show More Cited By