6

Phantom Types for Quantum Programs
Robert Rand, Jennifer Paykin, Steve Zdancewic
PDF Cite Slides Video
Models for Probabilistic Programs with an Adversary
Robert Rand, Steve Zdancewic
PDF Slides