Cited By
View all- Aaldering JScholz SGastel B(2023)Type Patterns: Pattern Matching on Shape-Carrying Array TypesProceedings of the 35th Symposium on Implementation and Application of Functional Languages10.1145/3652561.3652572(1-14)Online publication date: 29-Aug-2023
- Lemay MFu QBlair WZhang CXi HCong YDagand P(2023)A Dependently Typed Language with Dynamic EqualityProceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3609027.3609407(44-57)Online publication date: 30-Aug-2023
- Tsay JBraz AHirzel MShinnar AMummert T(2022)Extracting enhanced artificial intelligence model metadata from software repositoriesEmpirical Software Engineering10.1007/s10664-022-10206-627:7Online publication date: 1-Dec-2022
- Show More Cited By