Hashing modulo alpha-equivalence.

Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones

Browse the full PLDI paper archive.