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

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

Cited in

(6)

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

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)