3,609 followers
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper. ~ Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger. https://t.co/8meswf9yGq #FuncionalProgramming #Haskell
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper. ~ Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger. https://t.co/8meswf9yGq #FuncionalProgramming #Haskell
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper https://t.co/jnxDWx22CD