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

DOI10.1145/3009837zbMath1355.68012OpenAlexW2912476809MaRDI QIDQ2963261

No author found.

Publication date: 13 February 2017

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

Mathematics Subject Classification ID

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

Related Items (3)

Unnamed Item ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Operational semantics of a weak memory model with channel synchronization

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