Neil J. Ross

Latest

• Proto-Quipper with Dynamic Lifting
• A biset-enriched categorical model for Proto-Quipper with dynamic lifting
• A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper
• Algebraic and Logical Methods in Quantum Computation
• Programming the Quantum Future
• An Introduction to Quantum Programming in Quipper
• Quipper: A Scalable Quantum Programming Language