| |
| | [TYPES] MSCS special issue on quantum programming languages (Site not responding. Last check: 2007-10-13) |
 | | [This announcement might interest readers of the types list, since type systems are an important aspect of the design of quantum programming languages. |
 | | Syntax and semantics of quantum programming languages, new paradigms for quantum programming, specification of quantum algorithms, higher-order quantum computation, quantum data types, reversible computation, axiomatic approaches to quantum computation, concurrent and distributed quantum computation, compilation of quantum programs, semantical methods in quantum information theory, and categorical models for quantum computation. |
 | | Submissions should be sent electronically to Peter Selinger by January 25, 2005. |
| lists.seas.upenn.edu /pipermail/types-list/2004/000453.html (360 words) |
|