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
- YANG YOLIVEIRA B(2019)Pure iso-type systemsJournal of Functional Programming10.1017/S095679681900010829Online publication date: 17-Sep-2019
- Fleury M(2019)Optimizing a Verified SAT SolverNASA Formal Methods10.1007/978-3-030-20652-9_10(148-165)Online publication date: 28-May-2019
- Show More Cited By