Collaborated with:
S.Zdancewic Robert Rand 0001
Talks about:
quantum (1) languag (1) circuit (1) linear (1) qwire (1) monad (1) core (1)
Person: Jennifer Paykin
DBLP: Paykin:Jennifer
Contributed to:
Wrote 2 papers:
- Haskell-2017-PaykinZ #monad
- The linearity Monad (JP, SZ), pp. 117–132.
- POPL-2017-Paykin0Z #named #quantum
- QWIRE: a core language for quantum circuits (JP, RR0, SZ), pp. 846–858.