POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Sat 20 Jan 2024 09:00 - 09:45 at Marconi Room - Quantum Types Chair(s): Mathys Rennela

Sat 20 Jan

Displayed time zone: London change

09:00 - 10:30
Quantum TypesPLanQC at Marconi Room
Chair(s): Mathys Rennela INRIA Paris
09:00
45m
Keynote
Monoidal Adventures
PLanQC
Conor McBride University of Strathclyde
09:45
22m
Talk
Introducing BRAT
PLanQC
Ross Duncan Quantinuum, Mark Koch Quantinuum, Alan Lawrence Quantinuum, Conor McBride University of Strathclyde, Craig Roy Quantinuum
File Attached
10:07
22m
Talk
Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abstract)
PLanQC
Andrea Colledan University of Bologna & INRIA Sophia Antipolis, Ugo Dal Lago University of Bologna & INRIA Sophia Antipolis