Cited By
View all- Zhou LWan QOliveira B(2024)Full Iso-Recursive TypesProceedings of the ACM on Programming Languages10.1145/36897188:OOPSLA2(192-221)Online publication date: 8-Oct-2024
- 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
- Ye QDelaware B(2022)Oblivious algebraic data typesProceedings of the ACM on Programming Languages10.1145/34987136:POPL(1-29)Online publication date: 12-Jan-2022
- Show More Cited By