3 citations · 7 across the 9 of their papers we have counts for
1 paper · 1 filter
Kartik Singhal
As quantum computers become real, it is high time we come up with effective techniques that help programmers write correct quantum programs. Inspired by Hoare Type Theory in classi…