Quantum Programming Languages

Quantum Programming Languages is a formal system and subfield of programming language theory that provides the syntactic, semantic, and algorithmic foundations for expressing and verifying computations intended to execute on quantum hardware, distinguished by its integration of quantum mechanical principles such as superposition, entanglement, and unitary evolution within its constructs.

264

Publications

20.9K

Citations

624

Authors

226

Institutions

Publications per year

2017–2026

160

Authors

624

  1. MY
    Mingsheng Ying

    Tsinghua University, China

    18 publications · 666 citations

    14

    h-index

  2. PS
    Peter Selinger

    Dalhousie University, Canada

    12 publications · 1.4K citations

    12

    h-index

  3. JZ
    Jianjun Zhao

    Kyushu University, Japan

    7 publications · 313 citations

    9

    h-index

  4. NY
    Nengkun Yu

    University of Technology Sydney, Australia

    8 publications · 238 citations

    9

    h-index

  5. YF
    Yuan Feng

    Tsinghua University, China

    8 publications · 237 citations

    8

    h-index

1–5 of 624

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 13 publications · 429 citations

    12

    h-index

  2. arXiv (Cornell University)

    Repository · 19 publications · 523 citations

    12

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 10 publications · 295 citations

    10

    h-index

  4. Computer Physics Communications

    11 publications · 4.9K citations

    10

    h-index

  5. ArXiv.org

    Repository · 7 publications · 137 citations

    7

    h-index

1–5