Proceedings of the ACM on Programming Languages

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

Publications (2)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

Towards a Higher-Order Mathematical Operational Semantics (2023) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Journal article The high-level benefits of low-level sandboxing (2019) Sammler M, Garg D, Dreyer DR, Litak T Journal article