Bialgebraic Reasoning on Higher-Order Program Equivalence

[PDF] arxiv.org

Abstract Operational Methods for Call-by-Push-Value

S Goncharov, S Tsampas, H Urbat - arXiv preprint arXiv:2410.17045, 2024 - arxiv.org
Levy's call-by-push-value is a comprehensive programming paradigm that combines
elements from functional and imperative programming, supports computational effects and …
被引用次数：1 相关文章 所有 2 个版本
[PDF] acm.org

Abstract Operational Methods for Call-by-Push-Value

S Goncharov, S Tsampas, H Urbat - Proceedings of the ACM on …, 2025 - dl.acm.org
Levy's call-by-push-value is a comprehensive programming paradigm that combines
elements from functional and imperative programming, supports computational effects and …
相关文章 所有 2 个版本
[PDF] arxiv.org

Higher-Order Mathematical Operational Semantics

S Goncharov, S Milius, L Schröder, S Tsampas… - arXiv preprint arXiv …, 2024 - arxiv.org
Compositionality proofs in higher-order languages are notoriously involved, and general
semantic frameworks guaranteeing compositionality are hard to come by. In particular, Turi …
相关文章 所有 6 个版本