Regenerate with arXiv and URL fields, closes #2

QuantumPL · Aug 11, 2021 · a30c05f · a30c05f
1 parent 11c767f
commit a30c05f
Show file tree

Hide file tree

Showing 82 changed files with 320 additions and 190 deletions.
diff --git a/content/publication/abramsky-2004/index.md b/content/publication/abramsky-2004/index.md
@@ -10,7 +10,7 @@ authors:
 tags: []
 categories: []
 date: '2004-07-01'
-lastmod: 2021-07-29T17:59:11-05:00
+lastmod: 2021-08-11T12:17:57-05:00
 featured: false
 draft: false
 
@@ -28,7 +28,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:11.805543Z'
+publishDate: '2021-08-11T17:17:57.244189Z'
 publication_types:
 - '1'
 abstract: "We study quantum information and computation from a novel point of view.\
@@ -50,4 +50,7 @@ abstract: "We study quantum information and computation from a novel point of vi
 publication: '*Proceedings of the 19th Annual IEEE Symposium on Logic in Computer
   Science*'
 doi: 10.1109/LICS.2004.1319636
+links:
+- name: arXiv
+  url: https://arxiv.org/abs/quant-ph/0402130
 ---
diff --git a/content/publication/aleksandrowicz-2017/index.md b/content/publication/aleksandrowicz-2017/index.md
@@ -102,7 +102,7 @@ authors:
 tags: []
 categories: []
 date: '2017-03-01'
-lastmod: 2021-07-29T17:59:12-05:00
+lastmod: 2021-08-11T12:17:57-05:00
 featured: false
 draft: false
 
@@ -120,12 +120,14 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:11.943210Z'
+publishDate: '2021-08-11T17:17:57.322568Z'
 publication_types:
 - '0'
 abstract: Qiskit is an open-source framework for working with noisy quantum computers
   at the level of pulses, circuits, and algorithms. https://qiskit.org
 publication: ''
-url_pdf: https://github.com/Qiskit/qiskit
 doi: 10.5281/zenodo.2562110
+links:
+- name: URL
+  url: https://github.com/Qiskit/qiskit
 ---
diff --git a/content/publication/altenkirch-2005/index.md b/content/publication/altenkirch-2005/index.md
@@ -10,7 +10,7 @@ authors:
 tags: []
 categories: []
 date: '2005-06-01'
-lastmod: 2021-07-29T17:59:12-05:00
+lastmod: 2021-08-11T12:17:57-05:00
 featured: false
 draft: false
 
@@ -28,7 +28,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:12.082441Z'
+publishDate: '2021-08-11T17:17:57.403159Z'
 publication_types:
 - '1'
 abstract: 'We introduce the language QML, a functional language for quantum computations
@@ -42,4 +42,7 @@ abstract: 'We introduce the language QML, a functional language for quantum comp
 publication: '*Proceedings of the 20th Annual IEEE Symposium on Logic in Computer
   Science*'
 doi: 10.1109/LICS.2005.1
+links:
+- name: arXiv
+  url: https://arxiv.org/abs/quant-ph/0409065
 ---
diff --git a/content/publication/altenkirch-2009/index.md b/content/publication/altenkirch-2009/index.md
@@ -10,7 +10,7 @@ authors:
 tags: []
 categories: []
 date: '2009-11-01'
-lastmod: 2021-07-29T17:59:12-05:00
+lastmod: 2021-08-11T12:17:57-05:00
 featured: false
 draft: false
 
@@ -28,7 +28,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:12.219774Z'
+publishDate: '2021-08-11T17:17:57.479857Z'
 publication_types:
 - '6'
 abstract: The quantum IO monad is a purely functional interface to quantum programming
@@ -40,6 +40,8 @@ abstract: The quantum IO monad is a purely functional interface to quantum progr
   it into the IO monad using the random number generator. As an example we present
   a complete implementation of Shor's algorithm.
 publication: '*Semantic Techniques in Quantum Computation*'
-url_pdf: https://www.cs.nott.ac.uk/~psztxa/g5xnsc/chapter.pdf
 doi: 10.1017/CBO9781139193313.006
+links:
+- name: URL
+  url: https://www.cs.nott.ac.uk/~psztxa/g5xnsc/chapter.pdf
 ---
diff --git a/content/publication/amy-2019-a/index.md b/content/publication/amy-2019-a/index.md
@@ -9,7 +9,7 @@ authors:
 tags: []
 categories: []
 date: '2019-05-01'
-lastmod: 2021-07-29T17:59:12-05:00
+lastmod: 2021-08-11T12:17:57-05:00
 featured: false
 draft: false
 
@@ -27,7 +27,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:12.494067Z'
+publishDate: '2021-08-11T17:17:57.633892Z'
 publication_types:
 - '1'
 abstract: One of the most fundamental aspects of quantum circuit design is the concept
@@ -43,4 +43,7 @@ abstract: One of the most fundamental aspects of quantum circuit design is the c
   circuit.
 publication: "*Reversible Computation (RC '19)*"
 doi: 10.1007/978-3-030-21500-2_6
+links:
+- name: arXiv
+  url: https://arxiv.org/abs/1908.02644
 ---
diff --git a/content/publication/amy-2019/index.md b/content/publication/amy-2019/index.md
@@ -9,7 +9,7 @@ authors:
 tags: []
 categories: []
 date: '2019-01-01'
-lastmod: 2021-07-29T17:59:12-05:00
+lastmod: 2021-08-11T12:17:57-05:00
 featured: false
 draft: false
 
@@ -27,7 +27,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:12.354813Z'
+publishDate: '2021-08-11T17:17:57.555799Z'
 publication_types:
 - '1'
 abstract: We introduce a framework for the formal specification and verification of

diff --git a/content/publication/badescu-2015/index.md b/content/publication/badescu-2015/index.md
@@ -10,7 +10,7 @@ authors:
 tags: []
 categories: []
 date: '2015-11-01'
-lastmod: 2021-07-29T17:59:12-05:00
+lastmod: 2021-08-11T12:17:57-05:00
 featured: false
 draft: false
 
@@ -28,7 +28,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:12.641311Z'
+publishDate: '2021-08-11T17:17:57.721313Z'
 publication_types:
 - '1'
 abstract: We propose a notion of quantum control in a quantum programming language

diff --git a/content/publication/baez-2010/index.md b/content/publication/baez-2010/index.md
@@ -10,7 +10,7 @@ authors:
 tags: []
 categories: []
 date: '2010-07-01'
-lastmod: 2021-07-29T17:59:12-05:00
+lastmod: 2021-08-11T12:17:57-05:00
 featured: false
 draft: false
 
@@ -28,7 +28,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:12.777052Z'
+publishDate: '2021-08-11T17:17:57.808102Z'
 publication_types:
 - '6'
 abstract: "In physics, Feynman diagrams are used to reason about quantum processes.\
@@ -46,4 +46,7 @@ abstract: "In physics, Feynman diagrams are used to reason about quantum process
   \ science."
 publication: '*New Structures for Physics*'
 doi: 10.1007/978-3-642-12821-9_2
+links:
+- name: arXiv
+  url: https://arxiv.org/abs/0903.0340
 ---
diff --git a/content/publication/bettelli-2003/index.md b/content/publication/bettelli-2003/index.md
@@ -11,7 +11,7 @@ authors:
 tags: []
 categories: []
 date: '2003-08-01'
-lastmod: 2021-07-29T17:59:13-05:00
+lastmod: 2021-08-11T12:17:57-05:00
 featured: false
 draft: false
 
@@ -29,7 +29,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:12.915886Z'
+publishDate: '2021-08-11T17:17:57.896686Z'
 publication_types:
 - '2'
 abstract: 'It is becoming increasingly clear that, if a useful device for quantum
@@ -48,4 +48,7 @@ abstract: 'It is becoming increasingly clear that, if a useful device for quantu
 publication: '*European Physical Journal D: Atomic, Molecular, Optical and Plasma
   Physics*'
 doi: 10.1140/epjd/e2003-00242-2
+links:
+- name: arXiv
+  url: https://arxiv.org/abs/cs/0103009
 ---
diff --git a/content/publication/bichsel-2020/index.md b/content/publication/bichsel-2020/index.md
@@ -13,7 +13,7 @@ authors:
 tags: []
 categories: []
 date: '2020-06-01'
-lastmod: 2021-07-29T17:59:13-05:00
+lastmod: 2021-08-11T12:17:58-05:00
 featured: false
 draft: false
 
@@ -31,7 +31,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:13.057645Z'
+publishDate: '2021-08-11T17:17:57.991664Z'
 publication_types:
 - '1'
 abstract: Existing quantum languages force the programmer to work at a low level of
@@ -47,6 +47,8 @@ abstract: Existing quantum languages force the programmer to work at a low level
   -46% for Q#, -38% for Quipper), while using only half the number of quantum primitives.
 publication: '*Proceedings of the 41st ACM SIGPLAN Conference on Programming Language
   Design and Implementation*'
-url_pdf: https://files.sri.inf.ethz.ch/website/papers/pldi20-silq.pdf
 doi: 10.1145/3385412.3386007
+links:
+- name: URL
+  url: https://files.sri.inf.ethz.ch/website/papers/pldi20-silq.pdf
 ---
diff --git a/content/publication/briegel-2009/index.md b/content/publication/briegel-2009/index.md
@@ -13,7 +13,7 @@ authors:
 tags: []
 categories: []
 date: '2009-01-01'
-lastmod: 2021-07-29T17:59:13-05:00
+lastmod: 2021-08-11T12:17:58-05:00
 featured: false
 draft: false
 
@@ -31,7 +31,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:13.193922Z'
+publishDate: '2021-08-11T17:17:58.107059Z'
 publication_types:
 - '2'
 abstract: Quantum computation offers a promising new kind of information processing,

diff --git a/content/publication/chareton-2020/index.md b/content/publication/chareton-2020/index.md
@@ -13,7 +13,7 @@ authors:
 tags: []
 categories: []
 date: '2020-07-01'
-lastmod: 2021-07-29T17:59:13-05:00
+lastmod: 2021-08-11T12:17:58-05:00
 featured: false
 draft: false
 
@@ -31,7 +31,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:13.334250Z'
+publishDate: '2021-08-11T17:17:58.221026Z'
 publication_types:
 - '0'
 abstract: 'While recent progress in quantum hardware open the door for significant
@@ -58,4 +58,7 @@ abstract: 'While recent progress in quantum hardware open the door for significa
   quantum algorithms, and Grover search. These breakthroughs were amply facilitated
   by the specification and automated deduction principles introduced within Qbricks.'
 publication: ''
+links:
+- name: arXiv
+  url: https://arxiv.org/abs/2003.05841
 ---
diff --git a/content/publication/chareton-2021/index.md b/content/publication/chareton-2021/index.md
@@ -14,7 +14,7 @@ authors:
 tags: []
 categories: []
 date: '2021-03-01'
-lastmod: 2021-07-29T17:59:13-05:00
+lastmod: 2021-08-11T12:17:58-05:00
 featured: false
 draft: false
 
@@ -32,7 +32,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:13.471310Z'
+publishDate: '2021-08-11T17:17:58.338021Z'
 publication_types:
 - '1'
 abstract: "While recent progress in quantum hardware open the door for significant\

diff --git a/content/publication/cirq-developers-2018/index.md b/content/publication/cirq-developers-2018/index.md
@@ -9,7 +9,7 @@ authors:
 tags: []
 categories: []
 date: '2018-07-01'
-lastmod: 2021-07-29T17:59:13-05:00
+lastmod: 2021-08-11T12:17:58-05:00
 featured: false
 draft: false
 
@@ -27,12 +27,14 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:13.616430Z'
+publishDate: '2021-08-11T17:17:58.452860Z'
 publication_types:
 - '0'
 abstract: Cirq is a Python library for writing, manipulating, and optimizing quantum
   circuits and running them against quantum computers and simulators.
 publication: ''
-url_pdf: https://github.com/quantumlib/Cirq
 doi: 10.5281/zenodo.4062499
+links:
+- name: URL
+  url: https://github.com/quantumlib/Cirq
 ---
diff --git a/content/publication/coecke-2008/index.md b/content/publication/coecke-2008/index.md
@@ -10,7 +10,7 @@ authors:
 tags: []
 categories: []
 date: '2008-07-01'
-lastmod: 2021-07-29T17:59:13-05:00
+lastmod: 2021-08-11T12:17:58-05:00
 featured: false
 draft: false
 
@@ -28,7 +28,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:13.756902Z'
+publishDate: '2021-08-11T17:17:58.565925Z'
 publication_types:
 - '1'
 abstract: 'We formalise the constructive content of an essential feature of quantum

diff --git a/content/publication/coecke-2011/index.md b/content/publication/coecke-2011/index.md
@@ -10,7 +10,7 @@ authors:
 tags: []
 categories: []
 date: '2011-04-01'
-lastmod: 2021-07-29T17:59:14-05:00
+lastmod: 2021-08-11T12:17:58-05:00
 featured: false
 draft: false
 
@@ -28,7 +28,7 @@ image:
 #   E.g. `projects = ["internal-project"]` references `content/project/deep-learning/index.md`.
 #   Otherwise, set `projects = []`.
 projects: []
-publishDate: '2021-07-29T22:59:13.896635Z'
+publishDate: '2021-08-11T17:17:58.681319Z'
 publication_types:
 - '2'
 abstract: 'This paper has two tightly intertwined aims: (i) to introduce an intuitive