Cited By
View all- Paraskevopoulou ZLi JAppel A(2021)Compositional optimizations for CertiCoqProceedings of the ACM on Programming Languages10.1145/34735915:ICFP(1-30)Online publication date: 19-Aug-2021
- Fridlender DGadea APagano MRodríguez L(2017)Biorthogonality for a Lazy languageProceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages10.1145/3205368.3205374(1-9)Online publication date: 30-Aug-2017
- Gadea AGunther EPagano M(2017)The importance of being ExtrinsicProceedings of the 21st Brazilian Symposium on Programming Languages10.1145/3125374.3125378(1-8)Online publication date: 21-Sep-2017