Cited By
View all- Ghalayini JKrishnaswami N(2023)Explicit Refinement TypesProceedings of the ACM on Programming Languages10.1145/36078377:ICFP(187-214)Online publication date: 30-Aug-2023
- Yang YBi XOliveira B(2016)Unified Syntax with Iso-typesProgramming Languages and Systems10.1007/978-3-319-47958-3_14(251-270)Online publication date: 9-Oct-2016
- 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
- Show More Cited By