Dependently Typed Quantum Programming in Proto-Quipper

POPL 2020

Dependently Typed Quantum Programming in Proto-Quipper

Sep 17, 2020
|
36 views
Details
Presenter: Peter Selinger Presented at PLanQC 2020, located at POPL 2020

Comments
loading...