Talks

• A functional quantum programming language
• VyZX: Formal verification of a graphical quantum language
• QLAM: An interpreter for Quantum Lambda Calculus
• Patterson-Sullivan Measures on the Circle

Writing

• QLAM Writeup