Cited By
View all- Lazarek LGreenman BFelleisen MDimoulas C(2023)How to Evaluate Blame for Gradual Types, Part 2Proceedings of the ACM on Programming Languages10.1145/36078367:ICFP(159-186)Online publication date: 31-Aug-2023
- Gamboa CCanelas PTimperley CFonseca A(2023)Usability-Oriented Design of Liquid Types for Java2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)10.1109/ICSE48619.2023.00132(1520-1532)Online publication date: May-2023
- Crafa SLaneve CSartor GVeschetti A(2023)Pacta sunt servanda: Legal contracts inScience of Computer Programming10.1016/j.scico.2022.102911225(102911)Online publication date: Jan-2023
- Show More Cited By