Quipper: a scalable quantum programming language.
Alexander S. GreenPeter LeFanu LumsdaineNeil J. RossPeter SelingerBenoît ValironPublished in: PLDI (2013)
Keyphrases
- data model
- programming language
- object oriented
- general purpose
- object oriented programming
- programming environment
- software engineering
- database
- specification language
- strongly typed
- high level
- logic programming
- database languages
- database language
- denotational semantics
- development tools
- object oriented concepts
- fluent calculus
- programming language constructs