Hashing modulo alpha-equivalence. - Krzysztof Maziarz; Tom Ellis; Alan Lawrence; Andrew W. Fitzgibbon; Simon Peyton Jones (PLDI, 2021)

Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing. - Seyon Sivarajah; Lukas Heidemann; Alan Lawrence; Ross Duncan (CoRR, 2022)