Cited By
View all- Castagna G(2023)Programming with Union, Intersection, and Negation TypesThe French School of Programming10.1007/978-3-031-34518-0_12(309-378)Online publication date: 11-Oct-2023
- Castagna GLanvin VLaurent MNguyen K(2022)Revisiting occurrence typingScience of Computer Programming10.1016/j.scico.2022.102781217(102781)Online publication date: May-2022
- Bai ZWang KZhu HCao YJin X(2021)Runtime Recovery of Web Applications under Zero-Day ReDoS Attacks2021 IEEE Symposium on Security and Privacy (SP)10.1109/SP40001.2021.00077(1575-1588)Online publication date: May-2021
- Show More Cited By