Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

DOI10.1145/3009837zbMATH Open1355.68012OpenAlexW2912476809MaRDI QIDQ2963261FDOQ2963261

Authors

Publication date 13 February 2017

Full work available at URL https://doi.org/10.1145/3009837

Mathematics Subject Classification ID

Theory of programming languages (68N15) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

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

Describes a project that uses

Uses Software

• OCaml
• QWire
• Luck
• Hazelnut
• LightDP

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)