Coq framework with discrete lenses for typed, compositional definition and verification of quantum circuits.
In: Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP ’10, ACM, New York, NY , USA, pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
A tailored error-messaging system for the FSM automata library produces measurable gains in student attitudes and implementation ability per a control study and survey.
citing papers explorer
-
Typed compositional quantum computation with lenses
Coq framework with discrete lenses for typed, compositional definition and verification of quantum circuits.