Sized Types for Low-Level Quantum Metaprogramming (Q5237215): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2949317307
@@ Property / OpenAlex ID: W2949317307 / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial quantum algorithm for approximating the Jones polynomial
+Normal rank
@@ Property / cites work @@
+Verified compilation of space-efficient reversible circuits
+Normal rank
@@ Property / cites work @@
+Quantum programming languages: survey and bibliography
+Normal rank
@@ Property / cites work @@
+An Introduction to Quantum Programming in Quipper
@@ Property / cites work: An Introduction to Quantum Programming in Quipper / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228473
@@ Property / cites work: Q4228473 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal Quantum Simulators
@@ Property / cites work: Universal Quantum Simulators / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+QWIRE: a core language for quantum circuits
@@ Property / cites work: QWIRE: a core language for quantum circuits / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5237215