Cited By
View all- Kov�cs A(2024)Closure-Free Functional Programming in a Two-Level Type TheoryProceedings of the ACM on Programming Languages10.1145/36746488:ICFP(659-692)Online publication date: 15-Aug-2024
- Winterhalter T(2024)Dependent Ghosts Have a Reflection for FreeProceedings of the ACM on Programming Languages10.1145/36746478:ICFP(630-658)Online publication date: 15-Aug-2024
- Altenkirch TChamoun YKaposi AShulman M(2024)Internal Parametricity, without an IntervalProceedings of the ACM on Programming Languages10.1145/36329208:POPL(2340-2369)Online publication date: 5-Jan-2024
- Show More Cited By