Cited By
View all- Etter MMehta FAlves SCockx J(2024)Towards Type-Directed API Search for Mainstream LanguagesProceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3678000.3678207(50-61)Online publication date: 28-Aug-2024
- Lubin JFerguson JYe KYim JChasins S(2024)Equivalence by Canonicalization for Synthesis-Backed RefactoringProceedings of the ACM on Programming Languages10.1145/36564538:PLDI(1879-1904)Online publication date: 20-Jun-2024
- Sotiropoulos TChaliasos SSu Z(2024)API-Driven Program Synthesis for Testing Static Typing ImplementationsProceedings of the ACM on Programming Languages10.1145/36329048:POPL(1850-1881)Online publication date: 5-Jan-2024
- Show More Cited By