Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
From MaRDI portal
Publication:2963261
Cited in
(5)- Using session types for reasoning about boundedness in the \(\pi\)-calculus
- Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
- No value restriction is needed for algebraic effects and handlers
- Operational semantics of a weak memory model with channel synchronization
- Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
This page was built for publication: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963261)