Parallel Session 5 - Auditorium - Quantum programming
Channel: Quantum Physics and Logic
Date: 2022-08-31

Authors: Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael Mislove and Vladimir Zamdzhiev (presenting)
Title: Semantics for Variational Quantum Programming

Authors: Liliane-Joy Dandy (presenting), Emmanuel Jeandel and Vladimir Zamdzhiev
Title: Type-safe (Variational) Quantum Programming in Idris

Authors: Kartik Singhal (presenting), Kesha Hietala, Sarah Marshall and Robert Rand
Title: Q# as a Quantum Algorithmic Language