License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.8.9.112
URN: urn:nbn:de:0030-drops-103291
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2019/10329/
Go back to Dagstuhl Reports


Mosca, Michele ; Roetteler, Martin ; Selinger, Peter
Weitere Beteiligte (Hrsg. etc.): Michele Mosca and Martin Roetteler and Peter Selinger

Quantum Programming Languages (Dagstuhl Seminar 18381)

pdf-format:
dagrep_v008_i009_p112_18381.pdf (4 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar
18381 "Quantum Programming Languages", which brought together researchers from quantum computing and classical programming languages.

BibTeX - Entry

@Article{mosca_et_al:DR:2019:10329,
  author =	{Michele Mosca and Martin Roetteler and Peter Selinger},
  title =	{{Quantum Programming Languages (Dagstuhl Seminar 18381)}},
  pages =	{112--132},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{9},
  editor =	{Michele Mosca and Martin Roetteler and Peter Selinger},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/10329},
  URN =		{urn:nbn:de:0030-drops-103291},
  doi =		{10.4230/DagRep.8.9.112},
  annote =	{Keywords: compilers, functional programming, quantum computing, reversible computing, verification}
}

Keywords: compilers, functional programming, quantum computing, reversible computing, verification
Collection: Dagstuhl Reports, Volume 8, Issue 9
Issue Date: 2019
Date of publication: 25.03.2019


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI