Cited By
View all- Toro MLabrada ETanter É(2019)Gradual parametricity, revisitedProceedings of the ACM on Programming Languages10.1145/32903303:POPL(1-30)Online publication date: 2-Jan-2019
- Greenman BFelleisen M(2018)A spectrum of type soundness and performanceProceedings of the ACM on Programming Languages10.1145/32367662:ICFP(1-32)Online publication date: 30-Jul-2018
- McDonell TZakian TCimini MNewton R(2016)Ghostbuster: a tool for simplifying and converting GADTsACM SIGPLAN Notices10.1145/3022670.295191451:9(338-350)Online publication date: 4-Sep-2016
- Show More Cited By