pdf-format: |
|
@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 | |
Seminar: | Dagstuhl Reports, Volume 8, Issue 9 | |
Issue date: | 2019 | |
Date of publication: | 25.03.2019 |