A cost-aware logical framework Y Niu, J Sterling, H Grodin, R Harper Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022 | 24 | 2022 |
Automatic space bound analysis for functional programs with garbage collection Y Niu, J Hoffmann EPiC Series in Computing 57, 2018 | 18 | 2018 |
Decalf: A Directed, Effectful Cost-Aware Logical Framework H Grodin, Y Niu, J Sterling, R Harper Proceedings of the ACM on Programming Languages 8 (POPL), 273-301, 2024 | 4 | 2024 |
Cost-aware type theory Y Niu, R Harper arXiv preprint arXiv:2011.03660, 2020 | 2 | 2020 |
A metalanguage for cost-aware denotational semantics Y Niu, R Harper 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2023 | 1 | 2023 |
Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory Y Niu, J Sterling, R Harper arXiv preprint arXiv:2404.00212, 2024 | | 2024 |