Type-safe Quantum Programming in Idris.

Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev

Browse the full ESOP paper archive.