Cited By
View all- Xu HHuang XOliveira B(2023)Making a Type Difference: Subtraction on Intersection Types as Generalized Record OperationsProceedings of the ACM on Programming Languages10.1145/35712247:POPL(893-920)Online publication date: 11-Jan-2023
- Al-Sibahi AJensen TDimovski AWąsowski A(2021)Verification of Program Transformations with Inductive Refinement TypesACM Transactions on Software Engineering and Methodology10.1145/340980530:1(1-33)Online publication date: 20-Jan-2021
- Nguyễn K(2018)NoSQL Languages and SystemsNoSQL Data Models10.1002/9781119528227.ch1(1-20)Online publication date: 6-Aug-2018
- Show More Cited By