Cited By
View all- Ringo NKramer LVan Wyk ESaraiva JDegueule TScott E(2023)Nanopass Attribute GrammarsProceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3623476.3623514(70-83)Online publication date: 23-Oct-2023
- Bañados Schwerter FClark AJafery KGarcia R(2021)Abstracting gradual typing moving forward: precise and space-efficientProceedings of the ACM on Programming Languages10.1145/34343425:POPL(1-28)Online publication date: 4-Jan-2021
- Mazza DPagani M(2021)Automatic differentiation in PCFProceedings of the ACM on Programming Languages10.1145/34343095:POPL(1-27)Online publication date: 4-Jan-2021
- Show More Cited By