Talks

• A functional quantum programming language
• VyZX: Formal verification of a graphical quantum language
• QLAM: An interpreter for Quantum Lambda Calculus

Writing

• QLAM Writeup