Muir Hughes. A novel representation of lists and its application to the function \reverse (1986)

by R John
Venue:Information Processing Letters