Search Results for ''

published presentations and documents on DocSlides.

Phantom Types for Quantum Programs

by giovanna-bartolotta

Phantom Types for Quantum Programs Coq for Progra...

PARTNUMBERVOLTSCP OR WTYPE AND BASEDESCRIPTIONB100712.0020/5WG18mm

by min-jolicoeur

PC16812.003CPT-3