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
- Paquet HSaville PSobocinski PLago UEsparza J(2024)Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonadsProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662130(1-15)Online publication date: 8-Jul-2024
- Suzanne HChailloux E(2023)A Reusable Machine-Calculus for Automated Resource AnalysesLogic-Based Program Synthesis and Transformation10.1007/978-3-031-45784-5_5(61-79)Online publication date: 16-Oct-2023
- Show More Cited By