Initial Learning Trajectories for K-12 Quantum Computing. - Diana Franklin; Jennifer Palmer; Randall Landsberg; Jasmine Marckwordt; Alexandria Muller; Kartik Singhal 002; Jean Salac; Danielle Harlow (SIGCSE, 2020)

Quantum Hoare Type Theory. - Kartik Singhal 002 (CoRR, 2020)

Gottesman Types for Quantum Programs. - Robert Rand 001; Aarthi Sundaram; Kartik Singhal 002; Brad Lackey (QPL, 2020)

Quantum Hoare Type Theory: Extended Abstract. - Kartik Singhal 002; John H. Reppy (QPL, 2020)

Static Analysis of Quantum Programs via Gottesman Types. - Robert Rand 001; Aarthi Sundaram; Kartik Singhal 002; Brad Lackey (CoRR, 2021)

Q# as a Quantum Algorithmic Language. - Kartik Singhal 002; Kesha Hietala; Sarah Marshall; Robert Rand 001 (QPL, 2022)