Cited By
View all- Grosen JKahn DHoffmann J(2023)Automatic Amortized Resource Analysis with Regular Recursive Types2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1109/LICS56636.2023.10175720(1-14)Online publication date: 26-Jun-2023
- 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
- Dal Lago U(2022)Implicit computation complexity in higher-order programming languagesMathematical Structures in Computer Science10.1017/S0960129521000505(1-17)Online publication date: 15-Mar-2022
- Show More Cited By