Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

DOI10.1145/2535838MaRDI QIDQ5395645zbMATH OpenOpenAlexFDO

Authors

Publication date 17 February 2014

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

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

(4)

• Semantics of quantum programming languages: Classical control, quantum control
• 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
• A definitional implementation of the Lax logical framework \(\mathsf{LLF}_{\mathscr{P}}\) in \texttt{Coq}, for supporting fast and loose reasoning

Describes a project that uses

Uses Software

• Coq
• Haskell
• NetKAT

This page was built for publication: Proceedings of the 41st ACM SIGPLAN-SIGACT 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 Q5395645)