Probabilistic descryption of quantum programming languages

• Number: N206 013 31/2258
• Dates: 07.11.2006 - 06.05.2008

1. Implementation of the quantum programming language kulka
2. Development of the syntax supporting new quantum-oriented data types

• J. A. Miszczak, Initialisation of quantum registers based on probability distribution, IITiS Technical report, March 2007. (Presentation in Polish)

See http://www.iitis.pl/~miszczak/kulka for a preliminary version.

1. Michael Scott, Programming Language Pragmatics, Morgan Kaufmann; 2 edition (November 7, 2005) Book's page
2. Andrew W. Appel, Modern Compiler Implementation in Java, Cambridge University Press Book's page

1. COMS W4115 Programming Languages and Translators, Department of Computer Science, Columbia University, USA

1. LanQ – a quantum imperative programming language