Talks

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

Writing

• QLAM Writeup