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

by R J M Hughes
Venue:Information Processing Letters