Proc. ACM Program. Lang. - researchr journals

researchr

You are not signed in
Sign in
Sign up

Journals associated with the name Proc. ACM Program. Lang.:

Compositional Security Definitions for Higher-Order Where DeclassificationMenz, Jan, Hirsch, Andrew K., Li, Peixuan, Garg, Deepak. Proc. ACM Program. Lang., 7(OOPSLA1), apr 2023. [doi]

runs on WebDSL