Hashing modulo alpha-equivalence
| Title: | Hashing modulo alpha-equivalence |
|---|---|
| Authors: | Maziarz, Krzysztof; Ellis, Tom; Lawrence, Alan; Fitzgibbon, Andrew; Peyton Jones, Simon |
| Source: | Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. :960-973 |
| Availability: | http://dl.acm.org/doi/10.1145/3453483.3454088 |
| Database: | ACM Full-Text Collection |