There is a newer version of the record available.

Published October 5, 2022 | Version 1.0
Software Open

Qunity: A Unified Language for Quantum and Classical Computing (Type Checker)

Authors/Creators

  • 1. University of Maryland
  • 2. University of Chicago
  • 3. University of Maryland and Amazon

Description

This virtual machine contains the code repository designed to accompany the POPL 2023 paper "Qunity: A Unified Language for Quantum and Classical Computing," with all dependencies pre-installed. To evaluate our code, you can navigate to the "qunity" directory on the Desktop and run the "make" command to compile our proofs. See the README.md file in that directory for more details.

Files

Files (2.6 GB)

Name Size Download all
md5:a8beb1925a9ba0e045a865432e513ead
2.6 GB Download

Additional details

Related works

Is supplement to
Preprint: arXiv:2204.12384 (arXiv)