67 citations · 111 across the 12 of their papers we have counts for
1 paper · 2 filters
Aarthi Sundaram, Brad Lackey
With the wide range of quantum programming languages on offer now, efficient program verification and type checking for these languages presents a challenge -- especially when clas…