Cited By
View all- Lorenzen AWhite LDolan SEisenberg RLindley S(2024)Oxidizing OCaml with Modal Memory ManagementProceedings of the ACM on Programming Languages10.1145/36746428:ICFP(485-514)Online publication date: 15-Aug-2024
- Smeding TVákár M(2024)Efficient CHADProceedings of the ACM on Programming Languages10.1145/36328788:POPL(1060-1088)Online publication date: 5-Jan-2024
- Hanukaev PEades III HCong YDagand P(2023)Combining Dependency, Grades, and Adjoint LogicProceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3609027.3609408(58-70)Online publication date: 30-Aug-2023
- Show More Cited By