1 citations · 2 across the 6 of their papers we have counts for
1 paper · 1 filter
Ryan Kavanagh, Chuta Sano, Brigitte Pientka
The Proto-Quipper family of programming languages aims to provide a formal foundation for the Quipper quantum programming language. Unfortunately, Proto-Quipper languages have comp…