A functional quantum programming language (2005)

by Jonathan James Grattage, James Chapman, Alex Green, Mark Jago, Wouter Swierstra, Mauro Jaskelioff
Venue:In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science