Efficient nondestructive equality checking for trees and graphs.

Michael D. Adams, R. Kent Dybvig

Browse the full ICFP paper archive.