A novel representation of lists and its application to the function reverse (1986)

by J Hughes
Venue:Inf. Process. Lett