Proceedings of the ACM on Programming Languages

ISSN: 2475-1421
Publisher: Association for Computing Machinery (ACM)

Publications (4)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

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