Cited By
View all- 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
- Weirich SChoudhury PVoizard AEisenberg R(2019)A role for dependent types in HaskellProceedings of the ACM on Programming Languages10.1145/33417053:ICFP(1-29)Online publication date: 26-Jul-2019
- Diehl LFirsov DStump A(2018)Generic zero-cost reuse for dependent typesProceedings of the ACM on Programming Languages10.1145/32367992:ICFP(1-30)Online publication date: 30-Jul-2018
- Show More Cited By