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)

• Operational semantics of a weak memory model with channel synchronization
• Using session types for reasoning about boundedness in the \(\pi\)-calculus
• Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
• Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
• No value restriction is needed for algebraic effects and handlers

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)