Quantum Type Systems is a formal framework within quantum programming languages that classifies quantum data and operations by enforcing type safety through static rules, distinguishing it from classical type systems by incorporating quantum-specific principles such as superposition, entanglement, and no-cloning.
40
Publications
2.3K
Citations
101
Authors
49
Institutions
Publications per year
2017–2026
13
Publications
40
Communicating quantum processes
Simon J. Gay, Rajagopal Nagarajan · 2005 · 134 citations
Computing, Computer Science, Physics +17
QWIRE: a core language for quantum circuits
Jennifer Paykin, Robert W. Rand, Steve Zdancewic · 2016 · 128 citations · Full text
Computing, Computer Science, Physics +17
1–5 of 40
Authors
101
- PS
6
h-index
- SJ
4
h-index
- RW
3
h-index
- JP
3
h-index
- PF
3
h-index
1–5 of 101
Institutions
49
Dalhousie University
Halifax, Canada
5 h-index
8 publications
334 citations
University of Glasgow
Glasgow, United Kingdom
4 h-index
4 publications
376 citations
California University of Pennsylvania
California, United States
3 h-index
9 publications
732 citations
University of Patras
Pátrai, Greece
3 h-index
6 publications
371 citations
University of Ottawa
Ottawa, Canada
3 h-index
3 publications
721 citations
University of Warwick
Coventry, United Kingdom
3 h-index
3 publications
192 citations
University of Illinois Urbana-Champaign
Urbana, United States
3 h-index
3 publications
53 citations
University of Maribor
Maribor, Slovenia
2 h-index
5 publications
122 citations
1–8 of 49
Venues
- Mathematical Structures in Computer Science
MSCS · 5 publications · 941 citations
5
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 4 publications · 93 citations
4
h-index
- Physical Review A
PRA · 4 publications · 137 citations
4
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 2 publications · 45 citations
2
h-index
- Europe PMC (PubMed Central)
Repository · 2 publications · 39 citations
2
h-index
1–5