Juliana Kaizer Vizzotto

Available identifiers

Publication	Date of Publication	Type
From symmetric pattern-matching to quantum control	2018-07-17	Paper
FJQuantum. A quantum object oriented language	2017-05-19	Paper
Modelling parallel quantum computing using transactional memory	2016-10-07	Paper
Typed context awareness ambient calculus for pervasive applications	2016-01-06	Paper
A Double Effect λ-calculus for Quantum Computation	2014-04-16	Paper
Quantum arrows in Haskell	2014-01-17	Paper
An algebra of pure quantum programming	2013-12-06	Paper
Grid Computing for Multi-Spectral Tomographic Reconstruction of Chlorophyll Concentration in Ocean Water	2010-05-14	Paper
Reasoning about General Quantum Programs over Mixed States	2009-12-09	Paper
The Arrow Calculus as a Quantum Programming Language	2009-07-02	Paper
Structuring quantum effects: superoperators as arrows	2006-08-28	Paper

This page was built for person: Juliana Kaizer Vizzotto