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

DOI10.1145/3009837MaRDI QIDQ2963261zbMATH OpenOpenAlexFDO

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

(6)

• Operational semantics of a weak memory model with channel synchronization
• Using session types for reasoning about boundedness in the \(\pi\)-calculus
• Hefty algebras: modular elaboration of higher-order effects
• 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

Describes a project that uses

Uses Software

• LightDP
• Hazelnut
• Luck
• QWire
• OCaml

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)