Algebraic Effects, Linearity, and Quantum Programming Languages.

Published in: POPL (2015)

Keyphrases

programming language
object oriented
general purpose
software engineering
denotational semantics
high level
programming environment
logic programming
specification language
computer programs
strongly typed
database languages
program code
data abstraction
abstract data types
programming paradigms