Skip to content

Commit 84742f6

Browse files
k4rtikk4rtik
committed
fix QAlgol and sync
1 parent e795eac commit 84742f6

File tree

5 files changed

+43
-36
lines changed

5 files changed

+43
-36
lines changed

‎content/publication/Singhal2022/cite.bib renamed to ‎content/publication/Singhal2023/cite.bib

Lines changed: 10 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,19 @@
1-
@inproceedings{Singhal2022,
1+
@inproceedings{Singhal2023,
22
title = {{Q\# as a Quantum Algorithmic Language}},
33
author = {Singhal, Kartik and Hietala, Kesha and Marshall, Sarah and Rand, Robert},
4-
year = {2022},
5-
month = {June},
6-
booktitle = {Proceedings of the 19th International Conference on Quantum Physics and Logic (QPL), Oxford, U.K., June 27--July 1, 2022},
4+
year = {2023},
5+
month = {November},
6+
booktitle = {Proceedings 19th International Conference on Quantum Physics and Logic, Wolfson College, Oxford, UK, 27 June--1 July 2022},
7+
editor = {Gogioso, Stefano and Hoban, Matty},
78
publisher = {{Open Publishing Association}},
8-
archiveprefix = {arXiv},
9-
eprint = {2206.03532},
9+
address = {Waterloo, NSW, Australia},
10+
series = {Electronic Proceedings in Theoretical Computer Science},
11+
volume = {394},
12+
pages = {170--191},
13+
doi = {10.4204/EPTCS.394.10},
1014
url = {https://ks.cs.uchicago.edu/publication/q-algol/},
1115
abstract = {Q\# is a standalone domain-specific programming language from Microsoft for writing and running quantum programs. Like most industrial languages, it was designed without a formal specification, which can naturally lead to ambiguity in its interpretation. We aim to provide a formal language definition for Q\#, placing the language on a solid mathematical foundation and enabling further evolution of its design and type system. This paper presents λ-Q\#, an idealized version of Q\# that illustrates how we may view Q\# as a quantum Algol (algorithmic language). We show the safety properties enforced by λ-Q\#'s type system and present its equational semantics based on a fully complete algebraic theory by Staton.},
1216
keywords = {quantum computing, quantum computation, programming languages, formal specification, formal language definitions, type systems, semantics and reasoning, quantum programming languages, language design, q\#},
13-
note = {To appear},
1417
bibsource = {Quantum Programming Languages \& Verification Bibliography, https://git.io/qpl-bib}
1518
}
1619

‎content/publication/Singhal2022/index.md renamed to ‎content/publication/Singhal2023/index.md

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -21,8 +21,8 @@ tags:
2121
- language design
2222
- q#
2323
categories: []
24-
date: '2022-06-30'
25-
lastmod: 2022-07-01T11:33:52-07:00
24+
date: '2023-11-01'
25+
lastmod: 2023-12-07T17:46:27-06:00
2626
featured: false
2727
draft: false
2828

@@ -51,11 +51,10 @@ abstract: Q# is a standalone domain-specific programming language from Microsoft
5151
we may view Q# as a quantum Algol (algorithmic language). We show the safety properties
5252
enforced by λ-Q#'s type system and present its equational semantics based on a fully
5353
complete algebraic theory by Staton.
54-
publication: '*Proceedings of the 19th International Conference on Quantum Physics
55-
and Logic (QPL), Oxford, U.K., June 27--July 1, 2022*'
54+
publication: '*Proceedings 19th International Conference on Quantum Physics and Logic,
55+
Wolfson College, Oxford, UK, 27 June--1 July 2022*'
56+
doi: 10.4204/EPTCS.394.10
5657
links:
57-
- name: arXiv
58-
url: https://arxiv.org/abs/2206.03532
5958
- name: URL
6059
url: https://ks.cs.uchicago.edu/publication/q-algol/
6160
---

‎static/retro/bbt.html

Lines changed: 9 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -2621,19 +2621,20 @@ <h1>Quantum PL & Verification Bibliography</h1>
26212621

26222622
<tr valign="top">
26232623
<td align="right" class="bibtexnumber">
2624-
[<a name="Singhal2022">142</a>]
2624+
[<a name="Singhal2023">142</a>]
26252625
</td>
26262626
<td class="bibtexitem">
26272627
Kartik Singhal, Kesha Hietala, Sarah Marshall, and Robert Rand.
26282628
<b>Q# as a Quantum Algorithmic Language</b>.
2629-
In <em>Proceedings of the 19th International Conference on Quantum
2630-
Physics and Logic (QPL), Oxford, U.K., June 27&#x2013;July 1, 2022</em>. Open
2631-
Publishing Association, June 2022.
2632-
To appear.
2633-
[&nbsp;<a href="bbt_bib.html#Singhal2022">bib</a>&nbsp;|
2634-
<a href="http://arxiv.org/abs/2206.03532">arXiv</a>&nbsp;|
2629+
In Stefano Gogioso and Matty Hoban, editors, <em>Proceedings 19th
2630+
International Conference on Quantum Physics and Logic, Wolfson College,
2631+
Oxford, UK, 27 June&#x2013;1 July 2022</em>, volume 394 of <em>Electronic Proceedings
2632+
in Theoretical Computer Science</em>, pages 170&#x2013;191, Waterloo, NSW, Australia,
2633+
November 2023. Open Publishing Association.
2634+
[&nbsp;<a href="bbt_bib.html#Singhal2023">bib</a>&nbsp;|
2635+
<a href="https://doi.org/10.4204/EPTCS.394.10">DOI</a>&nbsp;|
26352636
<a href="https://ks.cs.uchicago.edu/publication/q-algol/">https</a>&nbsp;|
2636-
<a href="bbt_abstracts.html#Singhal2022">Abstract</a>&nbsp;]
2637+
<a href="bbt_abstracts.html#Singhal2023">Abstract</a>&nbsp;]
26372638

26382639
</td>
26392640
</tr>

‎static/retro/bbt_abstracts.html

Lines changed: 8 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3185,17 +3185,18 @@ <h1>Quantum PL & Verification Bibliography</h1>
31853185

31863186
<tr valign="top">
31873187
<td align="right" class="bibtexnumber">
3188-
[<a name="Singhal2022">142</a>]
3188+
[<a name="Singhal2023">142</a>]
31893189
</td>
31903190
<td class="bibtexitem">
31913191
Kartik Singhal, Kesha Hietala, Sarah Marshall, and Robert Rand.
31923192
<b>Q# as a Quantum Algorithmic Language</b>.
3193-
In <em>Proceedings of the 19th International Conference on Quantum
3194-
Physics and Logic (QPL), Oxford, U.K., June 27&#x2013;July 1, 2022</em>. Open
3195-
Publishing Association, June 2022.
3196-
To appear.
3197-
[&nbsp;<a href="bbt_bib.html#Singhal2022">bib</a>&nbsp;|
3198-
<a href="http://arxiv.org/abs/2206.03532">arXiv</a>&nbsp;|
3193+
In Stefano Gogioso and Matty Hoban, editors, <em>Proceedings 19th
3194+
International Conference on Quantum Physics and Logic, Wolfson College,
3195+
Oxford, UK, 27 June&#x2013;1 July 2022</em>, volume 394 of <em>Electronic Proceedings
3196+
in Theoretical Computer Science</em>, pages 170&#x2013;191, Waterloo, NSW, Australia,
3197+
November 2023. Open Publishing Association.
3198+
[&nbsp;<a href="bbt_bib.html#Singhal2023">bib</a>&nbsp;|
3199+
<a href="https://doi.org/10.4204/EPTCS.394.10">DOI</a>&nbsp;|
31993200
<a href="https://ks.cs.uchicago.edu/publication/q-algol/">https</a>&nbsp;]
32003201
<blockquote>
32013202
Q# is a standalone domain-specific programming language from Microsoft for writing and running quantum programs. Like most industrial languages, it was designed without a formal specification, which can naturally lead to ambiguity in its interpretation. We aim to provide a formal language definition for Q#, placing the language on a solid mathematical foundation and enabling further evolution of its design and type system. This paper presents λ-Q#, an idealized version of Q# that illustrates how we may view Q# as a quantum Algol (algorithmic language). We show the safety properties enforced by λ-Q#'s type system and present its equational semantics based on a fully complete algebraic theory by Staton.

‎static/retro/bbt_bib.html

Lines changed: 11 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -2699,20 +2699,23 @@ <h1>bbt.bib</h1><a name="Abramsky2004"></a><pre>
26992699
}
27002700
</pre>
27012701

2702-
<a name="Singhal2022"></a><pre>
2703-
@inproceedings{<a href="bbt.html#Singhal2022">Singhal2022</a>,
2702+
<a name="Singhal2023"></a><pre>
2703+
@inproceedings{<a href="bbt.html#Singhal2023">Singhal2023</a>,
27042704
title = {{Q\# as a Quantum Algorithmic Language}},
27052705
author = {Singhal, Kartik and Hietala, Kesha and Marshall, Sarah and Rand, Robert},
2706-
year = {2022},
2707-
month = jun,
2708-
booktitle = {Proceedings of the 19th International Conference on Quantum Physics and Logic (QPL), Oxford, U.K., June 27--July 1, 2022},
2706+
year = {2023},
2707+
month = nov,
2708+
booktitle = {Proceedings 19th International Conference on Quantum Physics and Logic, Wolfson College, Oxford, UK, 27 June--1 July 2022},
2709+
editor = {Gogioso, Stefano and Hoban, Matty},
27092710
publisher = {{Open Publishing Association}},
2710-
archiveprefix = {arXiv},
2711-
eprint = {2206.03532},
2711+
address = {Waterloo, NSW, Australia},
2712+
series = {Electronic Proceedings in Theoretical Computer Science},
2713+
volume = {394},
2714+
pages = {170--191},
2715+
doi = {10.4204/EPTCS.394.10},
27122716
url = {<a href="https://ks.cs.uchicago.edu/publication/q-algol/">https://ks.cs.uchicago.edu/publication/q-algol/</a>},
27132717
abstract = {Q\# is a standalone domain-specific programming language from Microsoft for writing and running quantum programs. Like most industrial languages, it was designed without a formal specification, which can naturally lead to ambiguity in its interpretation. We aim to provide a formal language definition for Q\#, placing the language on a solid mathematical foundation and enabling further evolution of its design and type system. This paper presents λ-Q\#, an idealized version of Q\# that illustrates how we may view Q\# as a quantum Algol (algorithmic language). We show the safety properties enforced by λ-Q\#'s type system and present its equational semantics based on a fully complete algebraic theory by Staton.},
27142718
keywords = {quantum computing, quantum computation, programming languages, formal specification, formal language definitions, type systems, semantics and reasoning, quantum programming languages, language design, q\#},
2715-
note = {To appear},
27162719
bibsource = {Quantum Programming Languages \& Verification Bibliography, https://git.io/qpl-bib}
27172720
}
27182721
</pre>

0 commit comments

Comments
 (0)