A Monadic Semantics for Quantum Computing in Featherweight Java

Samuel da Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois. A Monadic Semantics for Quantum Computing in Featherweight Java. In Fernando Castor, Yu David Liu, editors, Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings. Volume 9889 of Lecture Notes in Computer Science, pages 31-45, Springer, 2016. [doi]

Abstract

Abstract is missing.