Proceedings of the ACM on Programming Languages
ISSN: 2475-1421
Publisher: Association for Computing Machinery (ACM)
Publications (4)
Abstract Operational Methods for Call-by-Push-Value (2025)
Goncharov S, Tsampas S, Urbat H
Journal article
Towards a Higher-Order Mathematical Operational Semantics (2023)
Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H
Journal article
Fast Coalgebraic Bisimilarity Minimization (2023)
Jacobs J, Wißmann T
Journal article
The high-level benefits of low-level sandboxing (2019)
Sammler M, Garg D, Dreyer DR, Litak TM
Journal article