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
- Lee EZhao YLhoták OYou JSatheeskumar KBrachthäuser J(2024)Qualifying System F<:: Some Terms and Conditions May ApplyProceedings of the ACM on Programming Languages10.1145/36498328:OOPSLA1(583-612)Online publication date: 29-Apr-2024
- Shadab NGharat PTiwari SErnst MKellogg MLahiri SLal ASridharan M(2023)Inference of Resource Management SpecificationsProceedings of the ACM on Programming Languages10.1145/36228587:OOPSLA2(1705-1728)Online publication date: 16-Oct-2023
- Show More Cited By